tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 autoconf,
5 coq,
6 flocq,
7 version ? null,
8}:
9
10mkCoqDerivation {
11 pname = "gappalib";
12 repo = "coq";
13 owner = "gappa";
14 domain = "gitlab.inria.fr";
15 inherit version;
16 defaultVersion =
17 with lib.versions;
18 lib.switch coq.coq-version [
19 {
20 case = range "8.16" "8.20";
21 out = "1.7.0";
22 }
23 {
24 case = range "8.8" "8.15";
25 out = "1.5.5";
26 }
27 ] null;
28
29 release."1.7.0".sha256 = "sha256-NHKfX2on0tw2T0AqOLIFDCHlkl9OXkLiRExEwauwGqE=";
30 release."1.6.0".sha256 = "sha256-GQls31TT4y3h18RUxAX+LpHIKon5UvDfW1GuURRKeKA=";
31 release."1.5.5".sha256 = "sha256-qxi2Kg3N3o6+ncq7aPNEg98dBmQC5WCa86zROPJSDdo=";
32 release."1.5.4".sha256 = "sha256-9PlkXqCu4rbFD7qnMF1GSpPCVmwJ3r593RfAvkJbbdA=";
33 release."1.5.3".sha256 = "sha256-SuMopX5sm4jh2uBuE7zr6vhWhHYZYnab+epjqYJqg+s=";
34 release."1.5.2".sha256 = "sha256-A021Bhqz5r2CZBayfjIiWrCIfUlejcQAfbTmOaf6QTM=";
35 release."1.5.1".sha256 = "1806bq1z6q5rq2ma7d5kfbqfyfr755hjg0dq7b2llry8fx9cxjsg";
36 release."1.5.0".sha256 = "1i1c0gakffxqqqqw064cbvc243yl325hxd50jmczr6mk18igk41n";
37 release."1.4.5".sha256 = "081hib1d9wfm29kis390qsqch8v6fs3q71g2rgbbzx5y5cf48n9k";
38 release."1.4.4".sha256 = "114q2hgw64j6kqa9mg3qcp1nlf0ia46z2xadq81fnkxqm856ml7l";
39 releaseRev = v: "gappalib-coq-${v}";
40
41 nativeBuildInputs = [ autoconf ];
42 mlPlugin = true;
43 propagatedBuildInputs = [ flocq ];
44 useMelquiondRemake.logpath = "Gappa";
45
46 meta = {
47 description = "Coq support library for Gappa";
48 license = lib.licenses.lgpl21;
49 maintainers = [ lib.maintainers.vbgl ];
50 };
51}