diff options
author | John Wiegley <johnw@newartisans.com> | 2015-12-20 11:12:23 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2015-12-20 11:12:23 -0800 |
commit | e582c41482615dc4d383a8d3f578e9ead9209743 (patch) | |
tree | ad65012720a092bdd2a95dff219e80a8534291b9 /pkgs/development/coq-modules/ssreflect/default.nix | |
parent | 56f6be2583909cff986ec12c9f3a3c9af6e83936 (diff) | |
download | nixlib-e582c41482615dc4d383a8d3f578e9ead9209743.tar nixlib-e582c41482615dc4d383a8d3f578e9ead9209743.tar.gz nixlib-e582c41482615dc4d383a8d3f578e9ead9209743.tar.bz2 nixlib-e582c41482615dc4d383a8d3f578e9ead9209743.tar.lz nixlib-e582c41482615dc4d383a8d3f578e9ead9209743.tar.xz nixlib-e582c41482615dc4d383a8d3f578e9ead9209743.tar.zst nixlib-e582c41482615dc4d383a8d3f578e9ead9209743.zip |
coqPackages.mathcomp,ssreflect: 1.5 -> 1.6
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.
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/ssreflect/default.nix | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/ssreflect/default.nix b/pkgs/development/coq-modules/ssreflect/default.nix index a0b0d951c0df..8ba49d06bae9 100644 --- a/pkgs/development/coq-modules/ssreflect/default.nix +++ b/pkgs/development/coq-modules/ssreflect/default.nix @@ -5,8 +5,8 @@ if coq.coq-version == "8.4" then callPackage ./generic.nix { src = fetchurl { - url = http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.5.tar.gz; - sha256 = "0hm1ha7sxqfqhc7iwhx6zdz3nki4rj5nfd3ab24hmz8v7mlpinds"; + url = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz; + sha256 = "0adr556032r1jkvphbpfvrrv041qk0yqb7a1xnbam52ji0mdl2w8"; }; } @@ -16,12 +16,10 @@ else if coq.coq-version == "8.5" then callPackage ./generic.nix { src = fetchurl { - url = http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.5.coq85beta2.tar.gz; - sha256 = "084l9xd5vgb8jml0dkm66g8cil5rsf04w821pjhn2qk9mdbwaagf"; + url = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz; + sha256 = "0adr556032r1jkvphbpfvrrv041qk0yqb7a1xnbam52ji0mdl2w8"; }; - patches = [ ./threads.patch ]; - } else throw "No ssreflect package for Coq version ${coq.coq-version}" |