diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-09-03 09:26:50 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-09-09 22:26:06 +0200 |
| commit | 6e08d2370751890a9ac5c5906dbcf585f9d4d9c0 (patch) | |
| tree | 2df851f405a955ae3745df291e0fc851bb7b8f45 /pkgs/development/coq-modules | |
| parent | a0f1c301d90f4da93732621fcb59287478aaa263 (diff) | |
| download | nixpkgs-6e08d2370751890a9ac5c5906dbcf585f9d4d9c0.tar nixpkgs-6e08d2370751890a9ac5c5906dbcf585f9d4d9c0.tar.gz nixpkgs-6e08d2370751890a9ac5c5906dbcf585f9d4d9c0.tar.bz2 nixpkgs-6e08d2370751890a9ac5c5906dbcf585f9d4d9c0.tar.lz nixpkgs-6e08d2370751890a9ac5c5906dbcf585f9d4d9c0.tar.xz nixpkgs-6e08d2370751890a9ac5c5906dbcf585f9d4d9c0.tar.zst nixpkgs-6e08d2370751890a9ac5c5906dbcf585f9d4d9c0.zip | |
coqPackages.paramcoq: init at 1.1.2 for Coq 8.12
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/paramcoq/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/paramcoq/default.nix b/pkgs/development/coq-modules/paramcoq/default.nix index 67e420b4e89..12d65bdb3d7 100644 --- a/pkgs/development/coq-modules/paramcoq/default.nix +++ b/pkgs/development/coq-modules/paramcoq/default.nix @@ -20,6 +20,9 @@ let params = "8.11" = { sha256 = "09c6813988nvq4fpa45s33k70plnhxsblhm7cxxkg0i37mhvigsa"; }; + "8.12" = { + sha256 = "0qd72r45if4h7c256qdfiimv75zyrs0w0xqij3m866jxaq591v4i"; + }; }; param = params.${coq.coq-version}; in |