tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 Cheerios,
6 InfSeqExt,
7 ssreflect,
8 version ? null,
9}:
10
11mkCoqDerivation {
12 pname = "verdi";
13 owner = "uwplse";
14 inherit version;
15 defaultVersion =
16 with lib.versions;
17 lib.switch coq.coq-version [
18 {
19 case = range "8.9" "8.18";
20 out = "20230503";
21 }
22 {
23 case = range "8.7" "8.16";
24 out = "20211026";
25 }
26 {
27 case = range "8.7" "8.14";
28 out = "20210524";
29 }
30 {
31 case = range "8.7" "8.13";
32 out = "20200131";
33 }
34 {
35 case = "8.6";
36 out = "20181102";
37 }
38 ] null;
39 release."20230503".rev = "76833a7b2188e99e358b8439ea6b4f38401c962a";
40 release."20230503".sha256 = "sha256-g59adl/FLMlk9vZciz2I1ZX4PDCElNOgVPCwML8E4DU=";
41 release."20211026".rev = "064cc4fb2347453bf695776ed820ffb5fbc1d804";
42 release."20211026".sha256 = "sha256:13xrcyzay5sjszf5lg4s44wl9nrcz22n6gi4h95pkpj0ni5clinx";
43 release."20210524".rev = "54597d8ac7ab7dd4dae683f651237644bf77701e";
44 release."20210524".sha256 = "sha256:05wb0km2jkhvi8807glxk9fi1kll4lwisiyzkxhqvymz4x6v8xqv";
45 release."20200131".rev = "fdb4ede19d2150c254f0ebcfbed4fb9547a734b0";
46 release."20200131".sha256 = "1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
47 release."20181102".rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
48 release."20181102".sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z";
49
50 propagatedBuildInputs = [
51 Cheerios
52 InfSeqExt
53 ssreflect
54 ];
55}