acl2
|
Adding ACL2.
|
2009-08-13 14:32:52 +00:00 |
clisp
|
Change used archive format for CLisp
|
2009-08-09 22:47:18 +00:00 |
erlang
|
Update erlang
|
2009-05-05 15:46:03 +00:00 |
guile
|
GNU Guile 1.8.7.
|
2009-07-05 21:41:36 +00:00 |
lua-5
|
Updating lua5.
|
2009-04-21 19:47:20 +00:00 |
maude
|
Maude needs libgmpxx.
|
2009-07-03 11:31:33 +00:00 |
php_configurable
|
PHP enable SOAP and openssl support
|
2009-06-14 01:30:04 +00:00 |
python
|
remove -Wno-long-double flag for python on darwin
|
2009-07-24 14:51:04 +00:00 |
python-new/2.5
|
fix soappy by using trunk version
|
2009-08-20 20:19:04 +00:00 |
ruby
|
build ruby with gdbm support
|
2009-08-20 20:19:01 +00:00 |
tcl
|
Updating tcl/tk
|
2009-05-03 14:35:56 +00:00 |
toolbus
|
* Get rid of all references to nix.cs.uu.nl.
|
2008-11-14 16:57:19 +00:00 |
xulrunner/wrapper
|
* Use exec.
|
2008-11-24 09:59:38 +00:00 |