Marco Maggesi a0207b3dc7 Updated Coq to version 8.2pl1 ... svn path=/nixpkgs/trunk/; revision=18069		2009-11-02 11:44:27 +00:00
..
analysis	* Doh.	2009-09-23 19:50:31 +00:00
build-managers	Adding 'remake': a patched and modernized version of GNU make utility that adds	2009-10-11 15:03:13 +00:00
cdecl	Making cdecl compile with readline.	2009-04-08 10:09:14 +00:00
documentation	big breaking change: renaming lib.getAttr to lib.attrByPath	2009-05-24 10:57:41 +00:00
guile	G-Wrap 1.9.13.	2009-10-29 11:23:10 +00:00
haskell	Version bumps for a number of Haskell packages.	2009-09-14 08:35:39 +00:00
java	Add FastJar.	2009-07-27 10:43:20 +00:00
literate-programming/noweb
misc	GDB: Build with Expat support, to get syscall info.	2009-10-28 22:25:50 +00:00
ocaml/camlp5	Updated Coq to version 8.2pl1	2009-11-02 11:44:27 +00:00
parsing	New Haskell Platform release.	2009-06-03 08:44:41 +00:00
profiling	* Improved a bunch of "name" attributes (mostly missing version	2009-10-28 14:06:56 +00:00
selenium/remote-control	downgrade selenium-rc to rev 2450. The newer one is buggy (Neither allows using a FirefoxProfile nor launches Opera)	2009-04-14 12:58:53 +00:00