coqPackages_8_4.coquelicot: remove
This commit is contained in:
parent
5add451ee3
commit
017321a91c
@ -1,27 +1,11 @@
|
||||
{ stdenv, fetchurl, which, coq, ssreflect }:
|
||||
|
||||
let param =
|
||||
let
|
||||
v2_1_1 = {
|
||||
version = "2.1.1";
|
||||
url = https://gforge.inria.fr/frs/download.php/file/35429/coquelicot-2.1.1.tar.gz;
|
||||
sha256 = "1wxds73h26q03r2xiw8shplh97rsbim2i2s0r7af0fa490bp44km";
|
||||
};
|
||||
v3_0_1 = {
|
||||
version = "3.0.1";
|
||||
stdenv.mkDerivation {
|
||||
name = "coq${coq.coq-version}-coquelicot-3.0.1";
|
||||
src = fetchurl {
|
||||
url = "https://gforge.inria.fr/frs/download.php/file/37045/coquelicot-3.0.1.tar.gz";
|
||||
sha256 = "0hsyhsy2lwqxxx2r8xgi5csmirss42lp9bkb9yy35mnya0w78c8r";
|
||||
};
|
||||
in {
|
||||
"8.4" = v2_1_1;
|
||||
"8.5" = v3_0_1;
|
||||
"8.6" = v3_0_1;
|
||||
"8.7" = v3_0_1;
|
||||
}."${coq.coq-version}"; in
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "coq${coq.coq-version}-coquelicot-${param.version}";
|
||||
src = fetchurl { inherit (param) url sha256; };
|
||||
|
||||
nativeBuildInputs = [ which ];
|
||||
buildInputs = [ coq ];
|
||||
|
@ -18806,7 +18806,6 @@ with pkgs;
|
||||
in
|
||||
recurseIntoAttrs contribs;
|
||||
|
||||
coquelicot = callPackage ../development/coq-modules/coquelicot {};
|
||||
domains = callPackage ../development/coq-modules/domains {};
|
||||
fiat = callPackage ../development/coq-modules/fiat {};
|
||||
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};
|
||||
|
Loading…
Reference in New Issue
Block a user