Marco Maggesi 436e1d72a7 * Coq: fix compilation of coqide (path to lablgkt) ... svn path=/nixpkgs/trunk/; revision=25360		2011-01-03 13:49:15 +00:00
..
configure.patch
coq-8.3-make-3.82-compat.patch
default.nix	* Coq: fix compilation of coqide (path to lablgkt)	2011-01-03 13:49:15 +00:00