tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 stdlib,
6 findutils,
7 version ? null,
8}:
9
10(mkCoqDerivation {
11 pname = "coqutil";
12 owner = "mit-plv";
13
14 inherit version;
15 defaultVersion =
16 with lib.versions;
17 lib.switch coq.version [
18 {
19 case = isGe "9.0";
20 out = "0.0.7";
21 }
22 {
23 case = range "8.18" "8.20";
24 out = "0.0.6";
25 }
26 {
27 case = range "8.17" "8.20";
28 out = "0.0.5";
29 }
30 ] null;
31
32 releaseRev = v: "v${v}";
33 release."0.0.7".sha256 = "sha256-A5QDQscZ9BUxxcGTI2RDYOKTZoCYexJQuGNl9i+Wt/g=";
34 release."0.0.6".sha256 = "sha256-c/ddrj0ahuaj9Zu7YBqK7Q0ur+LK7Fgaa//nxQpQcm4=";
35 release."0.0.5".sha256 = "sha256-vkZIAAr82GNuCGlCVRgSCj/nqIdD8FITBiX1a8fybqw=";
36
37 nativeBuildInputs = [ findutils ];
38
39 propagatedBuildInputs = [ ];
40
41 meta = {
42 description = "Coq library for tactics, basic definitions, sets, maps";
43 license = lib.licenses.mit;
44 maintainers = with lib.maintainers; [ stepbrobd ];
45 };
46}).overrideAttrs
47 (
48 o:
49 lib.optionalAttrs (o.version != null && o.version != "dev" && lib.versionAtLeast o.version "0.0.7")
50 {
51 propagatedBuildInputs = o.propagatedBuildInputs ++ [ stdlib ];
52 }
53 )