Jean-Yves Lefort b2c604be3e Add maude. ... Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation. Rewriting logic is a logic of concurrent change that can naturally deal with state and with concurrent computations. It has good properties as a general semantic framework for giving executable semantics to a wide range of languages and models of concurrency. In particular, it supports very well concurrent object-oriented computation. The same reasons making rewriting logic a good semantic framework make it also a good logical framework, that is, a metalogic in which many other logics can be naturally represented and executed. Maude supports in a systematic and efficient way logical reflection. This makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced metaprogramming and metalanguage applications. Indeed, some of the most interesting applications of Maude are metalanguage applications, in which Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation. WWW: http://maude.cs.uiuc.edu/ PR: ports/94986 Submitted by: Rick van der Zwet <rick@traffie.wzoeterwoude.net>		2006-04-05 22:32:56 +00:00
..
afnix	- Update to 1.2.1	2006-03-16 13:02:06 +00:00
alisp	SHA256ify	2006-01-22 12:42:24 +00:00
asn1c	SHA256ify	2006-01-22 12:42:24 +00:00
atlast	- Update to 1.1	2005-12-21 19:49:43 +00:00
awka	- Add SHA256	2005-11-25 00:33:45 +00:00
bf2c	- Pass maintainership (back) to submitter.	2006-02-22 16:18:49 +00:00
bigloo	- Fix possibility of "infinite make fork" when "Registering install for ..."	2006-01-28 02:11:35 +00:00
bsh	- Add SHA256	2005-11-24 23:21:04 +00:00
bwbasic	- Add SHA256	2005-11-25 00:33:45 +00:00
caml-light	Add SA256 checksums.	2005-12-13 16:23:44 +00:00
ccscript	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
cduce	SHA256ify	2006-01-30 11:48:01 +00:00
chameleon	SHA256ify	2006-01-22 12:42:24 +00:00
chicken	- Update to 2.3	2006-03-18 14:38:04 +00:00
cim	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
cli	- Add SHA256	2005-11-25 00:33:45 +00:00
clips	BROKEN: Unfetchable	2006-03-18 18:13:55 +00:00
clisp	- Drop maintainership	2006-03-15 13:34:12 +00:00
cmucl	Add SHA256 message digest to distinfo file	2005-12-27 10:39:21 +00:00
cmucl-extra	- Update to 19b	2005-12-27 04:54:27 +00:00
cocor	SHA256ify	2006-01-22 12:42:24 +00:00
compaq-cc	Install manpages into a real manpath.	2005-12-12 12:55:02 +00:00
cu-prolog	- Add SHA256	2005-11-25 00:33:45 +00:00
cyclone	SHA256ify	2006-01-30 11:48:01 +00:00
dice	- Add SHA256	2005-11-25 00:33:45 +00:00
diveintopython	- Add SHA256	2005-11-25 00:33:45 +00:00
drscheme	Upgrade to v301 --- bug fixes and changes to the demos.	2006-01-18 16:09:09 +00:00
dylan	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
ecl	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
egcs	Remove install-info from Makefile, it's automatically done when INFO is defined	2005-12-05 00:53:19 +00:00
eiffel	SHA256ify	2006-01-22 12:42:24 +00:00
elan	- Update it to 1.7 and make it fetchable again.	2006-03-02 16:43:13 +00:00
elisp-manual	- Add SHA256	2005-11-25 00:33:45 +00:00
elk	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
emacs-lisp-intro	SHA256ify	2006-01-22 12:42:24 +00:00
embryo	Upgrade to 0.9.1.026.	2006-04-01 17:26:23 +00:00
eperl	Add forgotten patch for the previous commit:	2006-03-06 10:15:34 +00:00
erlang	Add support for amd64 (from ports/83001, modified).	2006-03-20 23:13:39 +00:00
erlang-doc	Upgrade to version R10B-10.	2006-03-15 16:37:46 +00:00
erlang14	Add support for amd64 (from ports/83001, modified).	2006-03-20 23:13:39 +00:00
execline	- Add SHA256 checksums to my ports	2005-11-25 14:05:38 +00:00
expect	- Add SHA256	2005-11-25 00:33:45 +00:00
ezm3	- Enable ezm3 on amd64 architecture. This is achieved by taking an older	2005-07-07 18:57:07 +00:00
f2c	- Add SHA256	2005-11-25 00:33:45 +00:00
f2py	- Add SHA256	2005-11-25 00:33:45 +00:00
f77	- Add SHA256	2005-11-25 00:33:45 +00:00
fbbi	SHA256ify	2006-01-22 12:42:24 +00:00
ferite	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
fesi	- Add SHA256	2005-11-25 00:33:45 +00:00
ficl	SHA256ify	2006-01-22 12:42:24 +00:00
ficl-devel	SHA256ify	2006-01-22 12:42:24 +00:00
forth	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
fpc	- No latest link, to prevent clash with lang/fpc2	2006-01-15 08:34:12 +00:00
fpc-base
fpc-demo	- Add SHA256	2005-11-25 00:33:45 +00:00
fpc-devel	SHA256ify	2006-01-22 12:42:24 +00:00
fpc-docs	- Add SHA256	2005-11-25 00:33:45 +00:00
fpc2	SHA256ify	2006-01-22 12:42:24 +00:00
freetxl	SHA256ify	2006-01-22 12:42:24 +00:00
gambas	Upgrade to 1.0.15.	2006-03-25 08:52:09 +00:00
gauche	SHA256ify	2006-01-22 12:42:24 +00:00
gawk	SHA256ify	2006-01-22 12:42:24 +00:00
gcc	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc-objc	- update to gcc4.1 as default	2006-04-04 19:22:26 +00:00
gcc-ooo	SHA256ify	2006-01-22 12:42:24 +00:00
gcc28	SHA256ify	2006-01-22 12:42:24 +00:00
gcc30	Revert last commit. It is not possible (yet) to have the dirrmtry usage	2006-01-23 07:04:10 +00:00
gcc32	- SUFFIX is not defined here	2006-03-20 14:20:19 +00:00
gcc33	Install the .info files in a port-specific subdirectory, which removes	2006-03-26 19:58:01 +00:00
gcc34	Update to the GCC 3.4.6 release, which concludes the GCC 3.4 release	2006-03-26 18:08:14 +00:00
gcc40	Update to the 20060330 snapshot of GCC 4.0.4.	2006-03-31 16:09:43 +00:00
gcc41	Update to the 20060331 snapshot of GCC 4.1.1.	2006-04-02 03:38:12 +00:00
gcc42	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc43	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc44	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc45	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc46	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc47	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc48	Update to the 20060401 snapshot of GCC 4.2.0.	2006-04-02 22:28:10 +00:00
gcc295	Replace the dangerous .error with IGNORE.	2006-01-27 09:38:34 +00:00
gcl	Add SHA256 checksum.	2005-12-27 09:23:36 +00:00
gdc	Update to 0.17	2005-12-04 18:09:12 +00:00
gforth	SHA256ify	2006-01-22 12:42:24 +00:00
gfortran	Base this port on lang/gcc41 instead of lang/gcc40. The former has not	2006-02-06 22:16:03 +00:00
ghc	SHA256ify	2006-01-30 11:48:01 +00:00
ghc-doc	SHA256ify	2006-01-22 12:42:24 +00:00
ghc5	SHA256ify	2006-01-30 11:48:01 +00:00
ghc5-doc	SHA256ify	2006-01-22 12:42:24 +00:00
glade-gpl	- Add SHA256	2005-11-25 00:33:45 +00:00
glibstdc++28	- Add SHA256	2005-11-25 00:33:45 +00:00
gnat	The libc.so.4 is only needed when building it, so add a build-dependency	2005-12-05 23:29:35 +00:00
gnat-doc-html	- Add SHA256	2005-11-25 00:33:45 +00:00
gnat-doc-info
gnat-doc-ps
gnat-doc-texi
gnat-doc-txt
gnat-glade	- Add SHA256	2005-11-25 00:33:45 +00:00
gnomebasic	Bump PORTREVISION on glib12/gtk12 consumer ports to ease the upgrade path.	2006-03-07 08:28:06 +00:00
gnustep-base	- add USE_GNUSTEP_PREFIX	2006-03-19 04:35:47 +00:00
gnustep-guile	- add USE_GNUSTEP_PREFIX	2006-03-19 04:35:47 +00:00
gnustep-objc	- add USE_GNUSTEP_PREFIX	2006-03-19 04:35:47 +00:00
Gofer	SHA256ify	2006-01-22 12:42:24 +00:00
gprolog	Somehow GCC 3.x generates a gprolog binary which fails immediately on startup.	2006-03-16 09:43:10 +00:00
groovy	- Update to 1.0-jsr-04	2005-12-15 17:56:29 +00:00
guile	- Add SHA256 checksums	2005-11-23 22:41:05 +00:00
harbour	- Reset maintainership - undeliverable address	2006-01-26 15:41:32 +00:00
haskell-mode.el	- Add backup download site	2006-03-04 13:26:43 +00:00
hope	SHA256ify	2006-01-22 12:42:24 +00:00
huc	- Add SHA256	2005-11-25 00:33:45 +00:00
hugs	SHA256ify	2006-01-22 12:42:24 +00:00
icc	Update to 8.1.036.	2006-02-11 23:55:41 +00:00
icc7	eplace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 05:52:28 +00:00
ici	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
icon	Remove ONLY_FOR_ARCHS.	2006-01-20 11:03:51 +00:00
ifc	Remove legacy ifc stuffs since invoking by ifort is recommended	2006-03-15 06:58:16 +00:00
ifc7	eplace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 05:52:28 +00:00
intel2gas	- Add SHA256	2005-11-25 00:33:45 +00:00
intercal	SHA256ify	2006-01-22 12:42:24 +00:00
io	Update to release of 2006-01-27.	2006-01-30 04:17:32 +00:00
ironpython	SHA256ify	2006-01-22 12:42:24 +00:00
itcl	Updates to use tcl84.	2005-12-26 14:19:04 +00:00
jakarta-commons-jelly	SHA256ify	2006-01-22 12:42:24 +00:00
jruby	- Add SHA256	2005-11-25 00:33:45 +00:00
jython	SHA256ify	2006-01-22 12:42:24 +00:00
kawa	Fix build on 4.x	2005-11-23 14:24:17 +00:00
klogoturtle	Drop maintainership	2006-03-24 21:20:08 +00:00
klone	- Add SHA256	2005-11-25 00:33:45 +00:00
kroc	- Mark only for i386 (application only supports i386 architecture).	2006-01-28 13:25:28 +00:00
lafontaine	Bump PORTREVISION on glib12/gtk12 consumer ports to ease the upgrade path.	2006-03-07 08:28:06 +00:00
libjit	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
librep	- Add SHA256 checksums	2005-11-23 22:41:05 +00:00
libutils	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
linux-j	- Add SHA256	2005-11-25 00:33:45 +00:00
linux-libgcc	Fix MASTER_SITE_SUBDIR	2006-01-31 09:43:17 +00:00
linux-libperl5.8	New port linux-libperl version 5.8.5: Library for embedding the	2005-12-11 16:52:44 +00:00
logo	BROKEN: Does not compile on FreeBSD >= 7.0	2006-02-12 22:31:35 +00:00
lua	SHA256ify	2006-01-22 12:42:24 +00:00
lua-mode.el	SHA256ify	2006-01-22 12:42:24 +00:00
lua4	SHA256ify	2006-01-22 12:42:24 +00:00
lua50	SHA256ify	2006-01-22 12:42:24 +00:00
lush	SHA256ify	2006-01-22 12:42:24 +00:00
maude	Add maude.	2006-04-05 22:32:56 +00:00
mawk	- Add SHA256	2005-11-25 00:33:45 +00:00
mdk	- Add SHA256	2005-11-25 00:33:45 +00:00
metaocaml	- Update to 3.08.a27 [1]	2005-11-29 15:02:17 +00:00
mit-scheme	SHA256ify	2006-01-22 12:42:24 +00:00
mixal	- Add SHA256	2005-11-25 00:33:45 +00:00
ml-pnet	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
mlton	- Update to 20051202	2006-01-05 10:05:36 +00:00
mmix	- Add SHA256	2005-11-25 00:33:45 +00:00
mono	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
moscow_ml	- Add SHA256	2005-11-25 00:33:45 +00:00
mozart	SHA256ify	2006-01-22 12:42:24 +00:00
munger	- Update to 4.87	2006-02-14 14:43:47 +00:00
nawk	- Update to snapshot 20050424.	2005-12-01 11:21:05 +00:00
nhc98	SHA256ify	2006-01-22 12:42:24 +00:00
nickle	SHA256ify	2006-01-22 12:42:24 +00:00
njs	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
nml	SHA256ify	2006-01-22 12:42:24 +00:00
nqc	SHA256ify	2006-01-22 12:42:24 +00:00
objc	- use byaccj from port to build, as byacc in base is broken	2005-11-20 10:48:33 +00:00
ocaml	- Add SHA256	2005-12-01 17:32:25 +00:00
ocaml-doc	- Update to 3.09	2005-12-01 17:29:47 +00:00
ocaml-mode.el	Add SA256 checksums.	2005-12-13 16:23:44 +00:00
ocaml-nox11	Conflicts with metaocaml.	2005-06-27 14:10:29 +00:00
ohugs	SHA256ify	2006-01-22 12:42:24 +00:00
onyx	Update to Onyx 5.1.2.	2006-01-12 09:17:33 +00:00
oo2c	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
oorexx	SHA256ify	2006-01-22 12:42:24 +00:00
open-cobol	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
open-cobol-devel	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
osb-jscore	Add missing file and unmark BROKEN	2006-02-28 07:44:22 +00:00
otcl	- Add SHA256	2005-11-25 00:33:45 +00:00
p2c	Fix mastersite, now it's fetchable again.	2006-01-26 20:36:12 +00:00
p5-Data-JavaScript	Update to 1.11.	2006-01-25 13:19:23 +00:00
p5-ePerl	- Add SHA256	2005-11-25 00:33:45 +00:00
p5-Error	SHA256ify	2006-01-22 12:42:24 +00:00
p5-Expect	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
p5-ExtUtils-F77	SHA256ify	2006-01-22 12:42:24 +00:00
p5-F77	SHA256ify	2006-01-22 12:42:24 +00:00
p5-Interpolation	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
p5-JavaScript-SpiderMonkey	SHA256ify	2006-01-22 12:42:24 +00:00
p5-JavaScript-Squish	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
p5-List-MoreUtils	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
p5-Perl6-Subs	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
p5-Scalar-List-Utils	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
p5-Switch	SHA256ify	2006-01-22 12:42:24 +00:00
p5-Tcl	- Add SHA256	2005-11-25 22:02:00 +00:00
parrot	Update to 0.4.2	2006-03-15 09:10:47 +00:00
pbasic	- Add SHA256	2005-11-25 00:33:45 +00:00
pdss	SHA256ify	2006-01-30 12:14:44 +00:00
perl5	SHA256ify	2006-01-22 12:42:24 +00:00
perl5.6	SHA256ify	2006-01-22 12:42:24 +00:00
perl5.8	Fix rebuild-xs target. No PORTREVISION bump since plist is not	2006-02-21 14:27:36 +00:00
perl5.10	Fix rebuild-xs target. No PORTREVISION bump since plist is not	2006-02-21 14:27:36 +00:00
perl5.12	Fix rebuild-xs target. No PORTREVISION bump since plist is not	2006-02-21 14:27:36 +00:00
perl5.14	Fix rebuild-xs target. No PORTREVISION bump since plist is not	2006-02-21 14:27:36 +00:00
perl5.16	Fix rebuild-xs target. No PORTREVISION bump since plist is not	2006-02-21 14:27:36 +00:00
pexts	Add missing RUN_DEPENDS on pike72	2006-02-01 07:43:41 +00:00
pfe	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
pfe-devel	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
php-mode.el	SHA256ify	2006-01-22 12:42:24 +00:00
php4	- pfpro extension is only for php4	2006-02-01 07:18:47 +00:00
php4-cli
php4-extensions	- Add a php extension pfpro (PayFlow Pro).	2006-01-31 23:00:21 +00:00
php4-overload
php5	Fix PHP Bug #36753: Can't get size of SWF images because zLib is missing.	2006-04-02 07:38:11 +00:00
php5-cli
php5-extensions	- hash is now default extension in php 5.1.2	2006-03-19 22:19:08 +00:00
php53	Fix PHP Bug #36753: Can't get size of SWF images because zLib is missing.	2006-04-02 07:38:11 +00:00
php_doc	update to latest versions (2006-01-28 according to website)	2006-02-09 04:20:56 +00:00
pike70	BROKEN: Incorrect pkg-plist	2006-04-03 00:15:55 +00:00
pike72	SHA256ify	2006-01-22 12:42:24 +00:00
pike76	1: Upgrade to 7.6.64.	2006-01-08 02:52:06 +00:00
pm3-base	Remove non-existing WWW.	2006-01-30 13:54:57 +00:00
pm3-forms	Reassign these ports to the pool at maintainer's request.	2005-10-10 04:58:27 +00:00
pm3-gui	Attempt to fix the bogus missing dependencies during the package build.	2006-02-11 21:57:32 +00:00
pm3-m3tk	Remove bogus DEPENDS. Instead, list pm3-base in BUILD_DEPENDS twice so	2006-02-03 09:06:19 +00:00
pm3-net	Remove bogus DEPENDS. Instead, list pm3-base in BUILD_DEPENDS twice so	2006-02-03 08:56:24 +00:00
pm3-netobj	Attempt to fix the bogus missing dependencies during the package build.	2006-02-11 21:57:32 +00:00
pnet	- Update pnet related ports:	2006-02-20 20:23:47 +00:00
pnet-base	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
pnetc	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
pnetlib	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
polyml	- Update to 4.2.0	2006-03-29 14:05:30 +00:00
ptoc	SHA256ify	2006-01-22 12:42:24 +00:00
pugs	SHA256ify	2006-01-22 12:42:24 +00:00
py-compiler
py-mx-base	Upgrade to 2.0.6.	2005-11-15 16:51:19 +00:00
py-prolog	SHA256ify	2006-01-22 12:42:24 +00:00
python	Update to Python 2.4.3.	2006-03-30 09:40:13 +00:00
python-devel	Fix build on environments without python.	2006-03-27 23:22:18 +00:00
python-doc-html	Add new size and checksums for Python 2.4.3	2006-04-02 01:38:34 +00:00
python-doc-pdf-a4
python-doc-pdf-letter
python-doc-postscript-a4
python-doc-postscript-letter
python-mode.el	SHA256ify	2006-01-22 12:42:24 +00:00
python21	SHA256ify	2006-01-22 12:42:24 +00:00
python22	SHA256ify	2006-01-22 12:42:24 +00:00
python23	SHA256ify	2006-01-22 12:42:24 +00:00
python24	Update to Python 2.4.3.	2006-03-30 09:40:13 +00:00
python25	Fix build on environments without python.	2006-03-27 23:22:18 +00:00
python26	Fix build on environments without python.	2006-03-27 23:22:18 +00:00
python27	Fix build on environments without python.	2006-03-27 23:22:18 +00:00
python30	Fix build on environments without python.	2006-03-27 23:22:18 +00:00
python31	Fix build on environments without python.	2006-03-27 23:22:18 +00:00
python32	Fix build on environments without python.	2006-03-27 23:22:18 +00:00
q	Bump PORTREVISION on glib12/gtk12 consumer ports to ease the upgrade path.	2006-03-07 08:28:06 +00:00
qscheme	SHA256ify	2006-01-22 12:42:24 +00:00
quack	- Fix possibility of "infinite make fork" when "Registering install for ..."	2006-01-28 02:11:35 +00:00
ratfor	SHA256ify	2006-01-22 12:42:24 +00:00
rexx-imc	SHA256ify	2006-01-22 12:42:24 +00:00
rexx-regina	SHA256ify	2006-01-22 12:42:24 +00:00
rexx-wrapper	- Add SHA256	2005-11-25 00:33:45 +00:00
rscheme	Fix plist.	2006-02-11 21:40:51 +00:00
ruby-js	- Add SHA256	2005-11-25 00:33:45 +00:00
ruby-lua	- Add SHA256	2005-11-25 00:33:45 +00:00
ruby-lua4	- Add SHA256	2005-11-25 00:33:45 +00:00
ruby-man	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
ruby-mode.el	Try to clean up xemacs directories	2006-02-05 20:15:37 +00:00
ruby-perl	- Add SHA256	2005-11-25 00:33:45 +00:00
ruby-programmingruby	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
ruby-reference	- Add more MASTER_SITES	2006-01-30 14:17:19 +00:00
ruby-usersguide	- Update to 20051121.	2006-04-04 17:46:09 +00:00
ruby16	Purge the last vestiges of the (really) old autotools world order.	2006-02-26 02:28:44 +00:00
ruby16-shim-ruby18	- Add SHA256	2005-11-25 00:33:45 +00:00
ruby16_static	With portmgr hat on, reset maintainership of knu's ports since he has	2005-11-11 01:18:01 +00:00
ruby18	- Disable pthread support by default to fix breakage of some ruby applications	2006-03-31 13:25:32 +00:00
ruby18_static	- Bump PORTEPOCH for ruby ports that gets PORTVERSION from bsd.ruby.mk	2005-11-15 04:33:31 +00:00
Sather	Remove install-info from Makefile, it's automatically done when INFO is defined	2005-12-05 00:53:19 +00:00
sbcl	- Update to 0.9.10	2006-03-15 15:26:47 +00:00
scheme48	- Add SHA256	2005-11-25 00:33:45 +00:00
schemetoc	SHA256ify	2006-01-22 12:42:24 +00:00
scm	- Add SHA256	2005-11-25 00:33:45 +00:00
screamer	- Add SHA256	2005-12-27 03:58:45 +00:00
scriba	- Add SHA256	2005-11-25 00:33:45 +00:00
scsh	- Add SHA256	2005-11-25 00:33:45 +00:00
sdcc	SHA256ify	2006-01-22 12:42:24 +00:00
sdcc-devel	- Update to 2.5.4.2005.11.15 [1]	2005-11-16 15:26:50 +00:00
see	- Update to 1.3.1	2006-02-01 11:46:17 +00:00
see-devel	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
siod	Add SA256 checksums.	2005-12-13 16:23:44 +00:00
sisc	- Add SHA256	2005-11-25 00:33:45 +00:00
sketchy	- Update to 20060305	2006-03-20 10:12:54 +00:00
slib	- Update to 3a3	2006-02-20 15:18:21 +00:00
slib-gauche
slib-guile	BROKEN: Does not install	2006-02-20 01:28:02 +00:00
slisp	SHA256ify	2006-01-22 12:42:24 +00:00
smalltalk	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
smarteiffel	- Update to 1.2r6	2006-03-18 15:57:50 +00:00
sml-mode.el	- Fix possibility of "infinite make fork" when "Registering install for ..."	2006-01-28 02:11:35 +00:00
sml-nj	SHA256ify	2006-01-22 12:42:24 +00:00
sml-nj-devel	Upgrade to v110.57.	2006-01-31 16:09:52 +00:00
snobol	SHA256ify	2006-01-22 12:42:24 +00:00
spidermonkey	The testsuite breaks at certain times of day depending on TZ, so	2006-03-23 14:24:20 +00:00
spl	Fix build on 7-current. This adds a hack to avoid malloc problems but	2006-02-01 07:54:19 +00:00
squeak	SHA256ify	2006-01-22 12:42:24 +00:00
squeak-dev	SHA256ify	2006-01-22 12:42:24 +00:00
sr	- Add SHA256	2005-11-25 00:33:45 +00:00
starlogo	SHA256ify	2006-01-22 12:42:24 +00:00
STk	Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry	2006-01-22 02:20:05 +00:00
stklos	- Update to 0.71.	2005-12-04 10:52:17 +00:00
stldoc	- Add SHA256	2005-11-25 00:33:45 +00:00
swi-pl	Update to 5.6.2	2006-01-18 18:00:00 +00:00
sxm	- Add SHA256	2005-11-25 00:33:45 +00:00
t3x	SHA256ify	2006-01-22 12:42:24 +00:00
tcl-manual	Add SHA256 checksums to the distinfo files.	2005-11-08 21:45:49 +00:00
tcl80	- Add SHA256	2005-11-25 00:33:45 +00:00
tcl81-thread	- Add SHA256	2005-11-25 00:33:45 +00:00
tcl82	- Add SHA256	2005-11-25 00:33:45 +00:00
tcl83	- Add SHA256	2005-11-25 00:33:45 +00:00
tcl84	- Add SHA256	2005-11-25 00:33:45 +00:00
tcl84-thread	New slave port of tcl84 that enabled threading support.	2005-07-17 17:01:46 +00:00
tcltutor	Add SHA256 checksums to the distinfo files.	2005-11-08 21:45:49 +00:00
tclX	SHA256ify	2006-01-22 12:42:24 +00:00
TenDRA	Update to 2005-11-12.	2005-11-12 08:15:35 +00:00
tensile	Conversion to a single libtool environment.	2006-02-23 10:40:44 +00:00
tinycobol	- Update to 0.63	2006-01-20 15:35:39 +00:00
tolua	Add SHA256 checksums to the distinfo files.	2005-11-08 21:45:49 +00:00
tolua++	Adding port lang/tolua++, a utility for better binding between Lua and C++.	2006-01-22 23:42:31 +00:00
tolua++50	Adding port lang/tolua++, a utility for better binding between Lua and C++.	2006-01-22 23:42:31 +00:00
tolua4	Add SHA256 checksums to the distinfo files.	2005-11-08 21:45:49 +00:00
tolua50	Add SHA256 checksums to the distinfo files.	2005-11-08 21:45:49 +00:00
treecc	- Update pnet related ports:	2006-02-20 20:23:47 +00:00
tuareg-mode.el	SHA256ify	2006-01-22 12:42:24 +00:00
twelf	New port: lang/twelf A meta-logical framework for deductive systems	2005-11-26 12:49:47 +00:00
visualworks	fix duplicate distfile	2006-02-01 06:35:05 +00:00
wamcc	- Add SHA256	2005-11-25 00:33:45 +00:00
xsb	SHA256ify	2006-01-22 12:42:24 +00:00
yabasic	Upgrade to 2.763.	2006-01-07 14:25:15 +00:00
yap	- Update to 5.0.1	2006-01-20 16:40:13 +00:00
yorick	- Update to 2.1.01	2006-03-16 13:05:54 +00:00
yorick-doc	SHA256ify	2006-01-22 12:42:24 +00:00
Makefile	Add maude.	2006-04-05 22:32:56 +00:00