tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 hydra-battles,
6 gaia,
7 mathcomp-zify,
8 mathcomp,
9 version ? null,
10}:
11
12mkCoqDerivation {
13 pname = "gaia-hydras";
14 repo = "hydra-battles";
15
16 release."0.5".sha256 = "121pcbn6v59l0c165ha9n00whbddpy11npx2y9cn7g879sfk2nqk";
17 release."0.6".sha256 = "1dri4sisa7mhclf8w4kw7ixs5zxm8xyjr034r1377p96rdk3jj0j";
18 release."0.9".sha256 = "sha256-wlK+154owQD/03FB669KCjyQlL2YOXLCi0KLSo0DOwc=";
19 releaseRev = (v: "v${v}");
20
21 inherit version;
22 defaultVersion =
23 with lib.versions;
24 lib.switch
25 [ coq.coq-version mathcomp.version ]
26 [
27 {
28 cases = [
29 (range "8.13" "8.16")
30 (range "1.12.0" "1.18.0")
31 ];
32 out = "0.9";
33 }
34 {
35 cases = [
36 (range "8.13" "8.14")
37 (range "1.12.0" "1.18.0")
38 ];
39 out = "0.5";
40 }
41 ]
42 null;
43
44 propagatedBuildInputs = [
45 hydra-battles
46 gaia
47 mathcomp-zify
48 ];
49
50 useDune = true;
51
52 meta = with lib; {
53 description = "Comparison between ordinals in Gaia and Hydra battles";
54 longDescription = ''
55 The Gaia and Hydra battles projects develop different notions of ordinals.
56 This development bridges the different notions.
57 '';
58 maintainers = with maintainers; [ Zimmi48 ];
59 license = licenses.mit;
60 platforms = platforms.unix;
61 };
62}