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
|
Merging from trunk.
|
2010-01-14 14:49:31 +00:00 |
io
|
Fixing a typo
|
2009-12-15 08:41:29 +00:00 |
perl-5.8
|
fix perl-5.8 build
|
2009-12-11 13:58:26 +00:00 |
perl-5.10
|
* Perl 5.10.1.
|
2010-01-18 12:09:51 +00:00 |
python
|
Fixing the meta platforms of python 2.6.
|
2010-01-17 22:19:10 +00:00 |
ruby
|
ruby update:
|
2010-01-15 19:35:06 +00:00 |
scsh
|
Add packages scsh, The Scheme Shell
|
2009-11-07 11:17:53 +00:00 |