| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
2012-11-26 irc/tr-ircd: No more public distfiles
2012-11-26 lang/imp-interpreter: No more public distfiles
2012-11-26 games/xquarto: No more public distfiles
2012-11-26 games/six: No more public distfiles
2012-11-26 finance/gfp: No more public distfiles
2012-11-26 games/44bsd-hunt: No more public distfiles
2012-11-26 graphics/ale: No more public distfiles
2012-11-26 german/digibux: No more public distfiles
2012-11-26 java/eclipse-clay-core: No more public distfiles
2012-11-26 games/xbloody: No more public distfiles
2012-11-26 dns/sqldjbdns: No more public distfiles
Feature safe: yes
|
|
|
|
|
|
|
| |
public distfiles are available, or for which are -devel version with a more
recent stable version for long
Feature safe: yes
|
|
|
|
|
|
|
|
| |
my ports in the past 3 weeks while ports were broken on any 10.x
machines, which means I'm unable to maintain them. So let people know
that there's no available support for them until things are back to
normal (which also means that anyone with spare time will be able
to fix them without getting approval).
|
| |
|
|
|
|
|
|
|
| |
fully chrooted DESTDIR, which does not need such any more.
Sponsored by: Google Summer of Code 2007
Approved by: portmgr (pav)
|
|
|
|
|
| |
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
|
|
|
|
|
|
| |
PR: 101029 [1], 108862 [2]
Submitted by: Stanislav Sedov <ssedov at mbsd dot msk dot ru> [1], oliver [2]
|
|
|
|
| |
- Change my email
|
|
language IMP, "plain" the implementation with explicit passing of state.
The semantics of the IMP-language is presented in the book:
"The Formal Semantics of Programming Languages" by Glynn Winskel
(1993, The MIT Press).
for more details on monads, see Philip Wadler's page on:
http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads
Author: Markus Mottl <markus.mottl@gmail.com>
WWW: http://www.ocaml.info/home/ocaml_sources.html
PR: ports/102103
Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru>
Approved by: krion (mentor)
|