2 commits

Author	SHA1	Message	Date
Vincent Laporte	d40b680101	coq-8.4: fix build of ssreflect and mathcomp	2017-01-25 13:14:31 +00:00
John Wiegley	4888bfecc2	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect ... Addresses #14829	2016-12-22 10:35:56 -08:00

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