diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-03-12 04:33:53 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-03-18 20:24:21 +0100 |
| commit | fd888537715ddc780b0ee74d952fe361067f1a7f (patch) | |
| tree | 8101d5e2f6a5e6557da77948b1e4380371d7f968 /pkgs/development/coq-modules | |
| parent | 9c145232020d542f7c11f94aa5fdaf97f5542b37 (diff) | |
coqPackages_8_19.equations: init at 1.3+8.19
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/equations/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix index 6d02db5cea914..961b54f6a4dbd 100644 --- a/pkgs/development/coq-modules/equations/default.nix +++ b/pkgs/development/coq-modules/equations/default.nix @@ -6,6 +6,7 @@ repo = "Coq-Equations"; inherit version; defaultVersion = lib.switch coq.coq-version [ + { case = "8.19"; out = "1.3+8.19"; } { case = "8.18"; out = "1.3+8.18"; } { case = "8.17"; out = "1.3+8.17"; } { case = "8.16"; out = "1.3+8.16"; } @@ -60,6 +61,8 @@ release."1.3+8.17".sha256 = "sha256-yNotSIxFkhTg3reZIchGQ7cV9WmTJ7p7hPfKGBiByDw="; release."1.3+8.18".rev = "v1.3-8.18"; release."1.3+8.18".sha256 = "sha256-8MZO9vWdr8wlAov0lBTYMnde0RuMyhaiM99zp7Zwfao="; + release."1.3+8.19".rev = "v1.3-8.19"; + release."1.3+8.19".sha256 = "sha256-roBCWfAHDww2Z2JbV5yMI3+EOfIsv3WvxEcUbBiZBsk="; mlPlugin = true; |