diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:48:41 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:48:41 +0000 |
commit | 00a6d849f815c66f14fe37ea97300ff264f509fc (patch) | |
tree | 12cfaf145f663c37d326313d3f58d760bb7e2707 | |
parent | 1ba141bf187db447d6e3d5908c5cd6856bbc325e (diff) | |
download | nixpkgs-00a6d849f815c66f14fe37ea97300ff264f509fc.tar nixpkgs-00a6d849f815c66f14fe37ea97300ff264f509fc.tar.gz nixpkgs-00a6d849f815c66f14fe37ea97300ff264f509fc.tar.bz2 nixpkgs-00a6d849f815c66f14fe37ea97300ff264f509fc.tar.lz nixpkgs-00a6d849f815c66f14fe37ea97300ff264f509fc.tar.xz nixpkgs-00a6d849f815c66f14fe37ea97300ff264f509fc.tar.zst nixpkgs-00a6d849f815c66f14fe37ea97300ff264f509fc.zip |
coqPackages_8_4.interval: remove
-rw-r--r-- | pkgs/development/coq-modules/interval/default.nix | 18 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
2 files changed, 3 insertions, 16 deletions
diff --git a/pkgs/development/coq-modules/interval/default.nix b/pkgs/development/coq-modules/interval/default.nix index 683ab80b36b..5faf8093b15 100644 --- a/pkgs/development/coq-modules/interval/default.nix +++ b/pkgs/development/coq-modules/interval/default.nix @@ -1,24 +1,12 @@ { stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp , bignums ? null }: -let param = - if stdenv.lib.versionAtLeast coq.coq-version "8.5" - then { - version = "3.3.0"; - url = "https://gforge.inria.fr/frs/download.php/file/37077/interval-3.3.0.tar.gz"; - sha256 = "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903"; - } else { - version = "3.1.1"; - url = "https://gforge.inria.fr/frs/download.php/file/36723/interval-3.1.1.tar.gz"; - sha256 = "1sqsf075c7s98mwi291bhnrv5fgd7brrqrzx51747394hndlvfw3"; - }; -in - stdenv.mkDerivation { - name = "coq${coq.coq-version}-interval-${param.version}"; + name = "coq${coq.coq-version}-interval-3.3.0"; src = fetchurl { - inherit (param) url sha256; + url = "https://gforge.inria.fr/frs/download.php/file/37077/interval-3.3.0.tar.gz"; + sha256 = "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903"; }; nativeBuildInputs = [ which ]; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 52737b850cb..336abe7d900 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18806,7 +18806,6 @@ with pkgs; in recurseIntoAttrs contribs; - interval = callPackage ../development/coq-modules/interval {}; mathcomp = callPackage ../development/coq-modules/mathcomp {}; paco = callPackage ../development/coq-modules/paco {}; QuickChick = callPackage ../development/coq-modules/QuickChick {}; |