diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-01-26 17:04:13 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-01-27 08:49:00 +0100 |
| commit | 51d92e5c6ee331489c9fa0e297fad6a7d41ddb53 (patch) | |
| tree | 0d0c755af28714354f8b35a3aa50b9549a358dd2 /pkgs/development/coq-modules | |
| parent | 46324988953b70a73a056cacaa5a9ea71ddf8356 (diff) | |
| download | nixpkgs-51d92e5c6ee331489c9fa0e297fad6a7d41ddb53.tar nixpkgs-51d92e5c6ee331489c9fa0e297fad6a7d41ddb53.tar.gz nixpkgs-51d92e5c6ee331489c9fa0e297fad6a7d41ddb53.tar.bz2 nixpkgs-51d92e5c6ee331489c9fa0e297fad6a7d41ddb53.tar.lz nixpkgs-51d92e5c6ee331489c9fa0e297fad6a7d41ddb53.tar.xz nixpkgs-51d92e5c6ee331489c9fa0e297fad6a7d41ddb53.tar.zst nixpkgs-51d92e5c6ee331489c9fa0e297fad6a7d41ddb53.zip | |
coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/paramcoq/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/paramcoq/default.nix b/pkgs/development/coq-modules/paramcoq/default.nix index d73d14c84a0..7f65e6643c5 100644 --- a/pkgs/development/coq-modules/paramcoq/default.nix +++ b/pkgs/development/coq-modules/paramcoq/default.nix @@ -4,10 +4,11 @@ with lib; mkCoqDerivation { pname = "paramcoq"; inherit version; defaultVersion = with versions; switch coq.version [ - { case = range "8.10" "8.14"; out = "1.1.3+coq${coq.coq-version}"; } + { case = range "8.10" "8.15"; 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.15".sha256 = "0sl7ihznwz05d2x2v78w1zd4q55c1sgy06vxasbcls4v2pkw53hl"; 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"; |