tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7
8mkCoqDerivation {
9 pname = "high-school-geometry";
10 inherit version;
11 repo = "HighSchoolGeometry";
12 defaultVersion =
13 with lib.versions;
14 lib.switch coq.coq-version [
15 {
16 case = range "8.16" "8.20";
17 out = "8.16";
18 }
19 {
20 case = range "8.12" "8.16";
21 out = "8.13";
22 }
23 {
24 case = "8.12";
25 out = "8.12";
26 }
27 {
28 case = "8.11";
29 out = "8.11";
30 }
31 ] null;
32
33 release = {
34 "8.16".sha256 = "sha256-HvUrZ6l7wCshuKUZs8rvfMkTEv+oXuogI5LICcD8Bn8=";
35 "8.13".sha256 = "sha256-5F/6155v0bWi5t7n4qU/GuR6jENngvWIIqJGPURzIeQ=";
36 "8.12".sha256 = "sha256-OF7sahU+5Ormkcrd8t6p2Kp/B2/Q/6zYTV3/XBvlGHc=";
37 "8.11".sha256 = "sha256-sVGeBBAJ7a7f+EJU1aSUvIVe9ip9PakY4379XWvvoqw=";
38 };
39 releaseRev = v: "v${v}";
40
41 meta = {
42 description = "Geometry in Coq for French high school";
43 maintainers = with lib.maintainers; [ definfo ];
44 license = lib.licenses.lgpl21Plus;
45 };
46}