diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-10-06 20:24:49 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-10-06 21:16:06 +0000 |
commit | 5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8 (patch) | |
tree | 4b1803d1b3927ee12d9cc833142e61841927a1ce /pkgs/development/coq-modules/coquelicot/default.nix | |
parent | cbf5307020b4a0a473e3ca4232ebb66ce0d60bec (diff) | |
download | nixpkgs-5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8.tar nixpkgs-5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8.tar.gz nixpkgs-5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8.tar.bz2 nixpkgs-5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8.tar.lz nixpkgs-5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8.tar.xz nixpkgs-5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8.tar.zst nixpkgs-5728b8d4e6f9d0ec2c2f5f843781b4626fe948c8.zip |
coqPackages.coquelicot: 2.1.2 -> 3.0.1
coqPackages.interval: 3.1.1 -> 3.3.0
Diffstat (limited to 'pkgs/development/coq-modules/coquelicot/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/coquelicot/default.nix | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/coquelicot/default.nix b/pkgs/development/coq-modules/coquelicot/default.nix index a81b76849bc..6f58c387586 100644 --- a/pkgs/development/coq-modules/coquelicot/default.nix +++ b/pkgs/development/coq-modules/coquelicot/default.nix @@ -7,15 +7,15 @@ let param = url = https://gforge.inria.fr/frs/download.php/file/35429/coquelicot-2.1.1.tar.gz; sha256 = "1wxds73h26q03r2xiw8shplh97rsbim2i2s0r7af0fa490bp44km"; }; - v2_1_2 = { - version = "2.1.2"; - url = https://gforge.inria.fr/frs/download.php/file/36320/coquelicot-2.1.2.tar.gz; - sha256 = "09q9xbzyndx8i68hn3ir4pmzgqd1q33qpk3xghf2l849g8w3q5an"; + v3_0_1 = { + version = "3.0.1"; + 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" = v2_1_2; - "8.6" = v2_1_2; + "8.5" = v3_0_1; + "8.6" = v3_0_1; }."${coq.coq-version}"; in stdenv.mkDerivation { |