Michael Raskin 7ffff9d558 Adding ACL2. ... ACL2 = A Computational Logic for Applicative Common Lisp. It is a Lisp sublanguage and a correctness prover for it. svn path=/nixpkgs/trunk/; revision=16708		2009-08-13 14:32:52 +00:00
..
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
falcon	Adding Falcon multiparadigm programming language. It has macros and non-trivial syntax at once, which seems interesting in itself..	2009-07-09 22:30:19 +00:00
guile	GNU Guile 1.8.7.	2009-07-05 21:41:36 +00:00
io	big breaking change: renaming lib.getAttr to lib.attrByPath	2009-05-24 10:57:41 +00:00
jruby	adding jruby-1.1.6 cause the one shipping with netbeans can't get uid.	2009-06-26 16:52:58 +00:00
kaffe	* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl	2007-08-24 12:32:36 +00:00
lua-4	* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl	2007-08-24 12:32: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
octave	* Got rid of all --disable-static flags; they're redundant now.	2009-04-21 23:18:09 +00:00
perl-5.8	* Got rid of a lot of "postInstall=postInstall" and similar lines in	2009-04-23 13:31:10 +00:00
perl-5.10	I revert my changes to get nixpkgs working on armv5tel-linux.	2009-07-26 22:47:33 +00:00
php	PHP can take mysql as a arugment	2007-10-30 16:04:45 +00:00
php_configurable	PHP enable SOAP and openssl support	2009-06-14 01:30:04 +00:00
plt-scheme	big breaking change: renaming lib.getAttr to lib.attrByPath	2009-05-24 10:57:41 +00:00
pyrex	meta.function -> passthru.function, not killing other contents of passthru	2008-11-04 21:24:10 +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 pygtk in pyhtonNew	2009-07-09 03:50:22 +00:00
r-lang	- Some Ruby interpreter bumped version	2008-08-29 13:53:28 +00:00
ruby	Updated ruby interpreter	2009-08-03 11:53:58 +00:00
spidermonkey	Added Makefile.extra to spidermonkey	2007-11-11 16:46:15 +00:00
sys-perl	* "." -> "source".	2005-12-05 14:11:09 +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