e582c41482
See the INSTALL file in the mathcomp package for instructions on upgrading projects from 1.5 to 1.6. The 1.6 version works with both Coq 8.4 and 8.5.
25 lines
557 B
Nix
25 lines
557 B
Nix
{ callPackage, fetchurl, coq }:
|
|
|
|
if coq.coq-version == "8.4" then
|
|
|
|
callPackage ./generic.nix {
|
|
|
|
src = fetchurl {
|
|
url = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz;
|
|
sha256 = "0adr556032r1jkvphbpfvrrv041qk0yqb7a1xnbam52ji0mdl2w8";
|
|
};
|
|
|
|
}
|
|
|
|
else if coq.coq-version == "8.5" then
|
|
|
|
callPackage ./generic.nix {
|
|
|
|
src = fetchurl {
|
|
url = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz;
|
|
sha256 = "0adr556032r1jkvphbpfvrrv041qk0yqb7a1xnbam52ji0mdl2w8";
|
|
};
|
|
|
|
}
|
|
|
|
else throw "No ssreflect package for Coq version ${coq.coq-version}"
|