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

coqPackages.coquelicot: 3.0.2 -> 3.0.3

Browse Source 
Ensures compatibility with Coq 8.10
This commit is contained in:
Vincent Laporte 2019-07-26 16:27:30 +00:00 committed by Vincent Laporte
parent 658c0f0ce9
commit 58e0c7b8ce
1 changed files with 18 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,10 +1,23 @@
{ stdenv, fetchurl, which, coq, ssreflect }: { stdenv, fetchurl, which, coq, ssreflect }:
stdenv.mkDerivation { let param =
name = "coq${coq.coq-version}-coquelicot-3.0.2"; if stdenv.lib.versionAtLeast coq.coq-version "8.8"
src = fetchurl { then {
url = "https://gforge.inria.fr/frs/download.php/file/37523/coquelicot-3.0.2.tar.gz"; version = "3.0.3";
uid = "38105";
sha256 = "0y52lqx1jphv6fwf0d702vzprxmfmxggnh1hy3fznxyl4isfpg4j";
} else {
version = "3.0.2";
uid = "37523";
sha256 = "1biia7nfqf7vaqq5gmykl4rwjyvrcwss6r2jdf0in5pvp2rnrj2w"; sha256 = "1biia7nfqf7vaqq5gmykl4rwjyvrcwss6r2jdf0in5pvp2rnrj2w";
}
; in
stdenv.mkDerivation {
name = "coq${coq.coq-version}-coquelicot-${param.version}";
src = fetchurl {
url = "https://gforge.inria.fr/frs/download.php/file/${param.uid}/coquelicot-${param.version}.tar.gz";
inherit (param) sha256;
}; };
nativeBuildInputs = [ which ]; nativeBuildInputs = [ which ];
@ -24,7 +37,7 @@ stdenv.mkDerivation {
}; };
passthru = { passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ]; compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" "8.10" ];
}; };
} }