diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-10-19 07:49:56 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-21 13:29:12 +0200 |
| commit | c7671c18535b78e528584bbe574ac696c7c76055 (patch) | |
| tree | 142f8695cae70413f6ea97f4392a898b1d75899c /pkgs/development/coq-modules | |
| parent | 19a363fd6f3269fc24846870918cbeab8e6f174b (diff) | |
| download | nixpkgs-c7671c18535b78e528584bbe574ac696c7c76055.tar nixpkgs-c7671c18535b78e528584bbe574ac696c7c76055.tar.gz nixpkgs-c7671c18535b78e528584bbe574ac696c7c76055.tar.bz2 nixpkgs-c7671c18535b78e528584bbe574ac696c7c76055.tar.lz nixpkgs-c7671c18535b78e528584bbe574ac696c7c76055.tar.xz nixpkgs-c7671c18535b78e528584bbe574ac696c7c76055.tar.zst nixpkgs-c7671c18535b78e528584bbe574ac696c7c76055.zip | |
coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/paramcoq/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/paramcoq/default.nix b/pkgs/development/coq-modules/paramcoq/default.nix index e39fdc25eab..d73d14c84a0 100644 --- a/pkgs/development/coq-modules/paramcoq/default.nix +++ b/pkgs/development/coq-modules/paramcoq/default.nix @@ -4,12 +4,15 @@ with lib; mkCoqDerivation { pname = "paramcoq"; inherit version; defaultVersion = with versions; switch coq.version [ - { case = range "8.13" "8.14"; out = "1.1.3+coq${coq.coq-version}"; } + { case = range "8.10" "8.14"; out = "1.1.3+coq${coq.coq-version}"; } { case = range "8.7" "8.13"; out = "1.1.2+coq${coq.coq-version}"; } ] null; displayVersion = { paramcoq = "..."; }; release."1.1.3+coq8.14".sha256 = "00zqq9dc2p5v0ib1jgizl25xkwxrs9mrlylvy0zvb96dpridjc71"; release."1.1.3+coq8.13".sha256 = "06ndly736k4pmdn4baqa7fblp6lx7a9pxm9gvz1vzd6ic51825wp"; + release."1.1.3+coq8.12".sha256 = "sha256:10j23ws8ymqpxhapni75sxbzz0dl4n9sgasrx618i7s7b705y2rh"; + release."1.1.3+coq8.11".sha256 = "sha256:1wbvcmkr7q106418bvvc2rj2d7s03wdhhxar0hicy1rr267w2bs6"; + release."1.1.3+coq8.10".sha256 = "sha256:0kv3k3y2fck1qz83pqmihyh98swicnpx0n6fzkis1n2g39qjfz91"; release."1.1.2+coq8.13".sha256 = "02vnf8p04ynf3qk8myvjzsbga15395235mpdpj54pvxis3h5qq22"; release."1.1.2+coq8.12".sha256 = "0qd72r45if4h7c256qdfiimv75zyrs0w0xqij3m866jxaq591v4i"; release."1.1.2+coq8.11".sha256 = "09c6813988nvq4fpa45s33k70plnhxsblhm7cxxkg0i37mhvigsa"; |