public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.coquelicot: 3.0.1 -> 3.0.2

Browse Source
This commit is contained in:
Vincent Laporte 2019-02-08 09:27:08 +00:00 committed by Vincent Laporte
parent 66d9561345
commit 9461a108bc
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/coq-modules/coquelicot/default.nix
View File

@ -1,10 +1,10 @@
{ stdenv, fetchurl, which, coq, ssreflect }: { stdenv, fetchurl, which, coq, ssreflect }:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "coq${coq.coq-version}-coquelicot-3.0.1"; name = "coq${coq.coq-version}-coquelicot-3.0.2";
src = fetchurl { src = fetchurl {
url = "https://gforge.inria.fr/frs/download.php/file/37045/coquelicot-3.0.1.tar.gz"; url = "https://gforge.inria.fr/frs/download.php/file/37523/coquelicot-3.0.2.tar.gz";
sha256 = "0hsyhsy2lwqxxx2r8xgi5csmirss42lp9bkb9yy35mnya0w78c8r"; sha256 = "1biia7nfqf7vaqq5gmykl4rwjyvrcwss6r2jdf0in5pvp2rnrj2w";
}; };
nativeBuildInputs = [ which ]; nativeBuildInputs = [ which ];
@ -24,7 +24,7 @@ stdenv.mkDerivation {
}; };
passthru = { passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ]; compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ];
}; };
} }