nixpkgs

75142 commits 1 branch 0 tags 3.7 GiB

Author	SHA1	Message	Date
Russell O'Connor	4cc5f5dbb6	coq: Add csdp dependency The csdp program is invoked for some uses of Micromega tactics.	2015-09-10 11:50:38 -04:00
Vincent Laporte	1d72ce49cf	coq-8.3: fix (needs make 3)	2015-06-25 08:55:31 +02:00
Vincent Laporte	3d049938c8	Adds some “branch” meta-data	2014-11-06 19:40:50 +00:00
Vincent Laporte	fde68228d9	coq: setup-hook for libraries Adds a hook to automatically populate the $COQPATH variable. Coq libraries are expected to be installed in lib/coq/${coq-version}/user-contrib/	2014-09-28 14:03:14 +01:00
Russell O'Connor	525b8015e7	Fixing configure patch for coq 8.3.	2012-08-19 01:11:11 -04:00
Russell O'Connor	eafd2008f1	Correcting filename.	2012-08-19 01:06:15 -04:00

Renamed from pkgs/applications/science/logic/coq/default.8.3.nix (Browse further)