gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.Verdi: 20211026 → 20230503

Browse Source
This commit is contained in:
Vincent Laporte
2023-06-12 08:59:51 +02:00
committed by Vincent Laporte
parent e59d94ef4c
commit 30620750e8
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/Verdi/default.nix
+3
View File
@@ -6,11 +6,14 @@ mkCoqDerivation {
owner = "uwplse";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.9" "8.17"; out = "20230503"; }
{ case = range "8.7" "8.16"; out = "20211026"; }
{ case = range "8.7" "8.14"; out = "20210524"; }
{ case = range "8.7" "8.13"; out = "20200131"; }
{ case = "8.6"; out = "20181102"; }
] null;
release."20230503".rev = "76833a7b2188e99e358b8439ea6b4f38401c962a";
release."20230503".sha256 = "sha256-g59adl/FLMlk9vZciz2I1ZX4PDCElNOgVPCwML8E4DU=";
release."20211026".rev = "064cc4fb2347453bf695776ed820ffb5fbc1d804";
release."20211026".sha256 = "sha256:13xrcyzay5sjszf5lg4s44wl9nrcz22n6gi4h95pkpj0ni5clinx";
release."20210524".rev = "54597d8ac7ab7dd4dae683f651237644bf77701e";