diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-11-15 06:50:21 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-11-17 13:59:33 +0100 |
| commit | a19ba12bc091027429534f69a20cef79aabc4f54 (patch) | |
| tree | 6ba35bf6ea1ba8da2ee9c7ed7428f63b87ffcb10 | |
| parent | f50c8859da1e415d9472ac7db514eb2456502ab9 (diff) | |
| download | nixpkgs-a19ba12bc091027429534f69a20cef79aabc4f54.tar nixpkgs-a19ba12bc091027429534f69a20cef79aabc4f54.tar.gz nixpkgs-a19ba12bc091027429534f69a20cef79aabc4f54.tar.bz2 nixpkgs-a19ba12bc091027429534f69a20cef79aabc4f54.tar.lz nixpkgs-a19ba12bc091027429534f69a20cef79aabc4f54.tar.xz nixpkgs-a19ba12bc091027429534f69a20cef79aabc4f54.tar.zst nixpkgs-a19ba12bc091027429534f69a20cef79aabc4f54.zip | |
coqPackages_8_18.dpdgraph: init at 1.0+8.18
| -rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 49333b41697..5779d235cfe 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -8,6 +8,7 @@ mkCoqDerivation { repo = "coq-dpdgraph"; inherit version; defaultVersion = lib.switch coq.coq-version [ + { case = "8.18"; out = "1.0+8.18"; } { case = "8.17"; out = "1.0+8.17"; } { case = "8.16"; out = "1.0+8.16"; } { case = "8.15"; out = "1.0+8.15"; } @@ -23,6 +24,7 @@ mkCoqDerivation { { case = "8.5"; out = "0.6"; } ] null; + release."1.0+8.18".sha256 = "sha256-z14MI1VSYzPqmF1PqDXzymXWRMYoTlQAfR/P3Pdf7fI="; release."1.0+8.17".sha256 = "sha256-gcvL3vseLKEF9xinT0579jXBBaA5E3rJ5KaU8RfKtm4="; release."1.0+8.16".sha256 = "sha256-xy4xcVHaD1OHBdGUzUy3SeZnHtOf1+UIh6YjUYFINm0="; release."1.0+8.15".sha256 = "sha256:1pxr0gakcz297y8hhrnssv5j07ccd58pv7rh7qv5g7855pfqrkg7"; |