Marco Maggesi a0207b3dc7 Updated Coq to version 8.2pl1 ... svn path=/nixpkgs/trunk/; revision=18069		2009-11-02 11:44:27 +00:00
..
analysis
build-managers
cdecl
documentation
guile	G-Wrap 1.9.13.	2009-10-29 11:23:10 +00:00
haskell
java
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
profiling
selenium/remote-control