acl2
|
Adding ACL2.
|
2009-08-13 14:32:52 +00:00 |
clisp
|
Changing CLisp, FPC to new style of adding to hydra
|
2009-08-25 09:00:19 +00:00 |
guile
|
GNU Guile 1.9 with coverage analysis builds.
|
2009-10-28 16:16:23 +00:00 |
maude
|
Maude needs libgmpxx.
|
2009-07-03 11:31:33 +00:00 |
perl-5.8
|
perl-5.8 and perl-5.10: fixed build on MacOS X
|
2009-10-19 09:17:10 +00:00 |
perl-5.10
|
perl-5.8 and perl-5.10: fixed build on MacOS X
|
2009-10-19 09:17:10 +00:00 |
php_configurable
|
sry
|
2009-10-23 11:30:20 +00:00 |
python
|
python-2.6: fixed build on Darwin
|
2009-10-20 12:13:49 +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 |