2 commits

Author	SHA1	Message	Date
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)