tjh.dev
1{
2 coq,
3 findutils,
4 lib,
5 mkCoqDerivation,
6 version ? null,
7}:
8
9mkCoqDerivation {
10 pname = "coqutil";
11 owner = "mit-plv";
12
13 inherit version;
14 defaultVersion =
15 with lib.versions;
16 lib.switch coq.version [
17 {
18 case = range "8.18" "8.20";
19 out = "0.0.6";
20 }
21 {
22 case = range "8.17" "8.20";
23 out = "0.0.5";
24 }
25 ] null;
26
27 releaseRev = v: "v${v}";
28 release."0.0.6".sha256 = "sha256-c/ddrj0ahuaj9Zu7YBqK7Q0ur+LK7Fgaa//nxQpQcm4=";
29 release."0.0.5".sha256 = "sha256-vkZIAAr82GNuCGlCVRgSCj/nqIdD8FITBiX1a8fybqw=";
30
31 nativeBuildInputs = [ findutils ];
32
33 meta = {
34 description = "Coq library for tactics, basic definitions, sets, maps";
35 license = lib.licenses.mit;
36 maintainers = with lib.maintainers; [ stepbrobd ];
37 };
38}