David Guibert b0859969a5 omake: version 0.9.8.5 ...

svn path=/nixpkgs/trunk/; revision=22019

2010-05-27 19:44:03 +00:00

..

camlp5

Updated Coq to version 8.2pl1

2009-11-02 11:44:27 +00:00

omake

omake: version 0.9.8.5

2010-05-27 19:44:03 +00:00