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

* Get rid of all references to nix.cs.uu.nl.

2008-11-14 16:57:19 +00:00

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