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 |
erlang
|
Update erlang
|
2009-05-05 15:46:03 +00:00 |
guile
|
GNU Guile 1.9.6.
|
2009-12-18 10:49:35 +00:00 |
io
|
Fixing a typo
|
2009-12-15 08:41:29 +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 |
perl-5.8
|
fix perl-5.8 build
|
2009-12-11 13:58:26 +00:00 |
perl-5.10
|
perl: Fix for impure GNU/kFreeBSD builds.
|
2009-12-21 01:02:47 +00:00 |
php_configurable
|
* PHP 5.2.11.
|
2009-12-03 14:33:40 +00:00 |
python
|
x86_64 darwin related changes
|
2009-11-27 10:16:42 +00:00 |
r-lang
|
- Some Ruby interpreter bumped version
|
2008-08-29 13:53:28 +00:00 |
ruby
|
* Remove some incorrect uses of makeOverridable.
|
2009-11-20 12:51:14 +00:00 |
scsh
|
Add packages scsh, The Scheme Shell
|
2009-11-07 11:17:53 +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 |