tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 mathcomp-algebra,
6 stdlib,
7 version ? null,
8}:
9
10mkCoqDerivation {
11 pname = "fcsl-pcm";
12 owner = "imdea-software";
13 inherit version;
14
15 defaultVersion =
16 let
17 case = coq: mc: out: {
18 cases = [
19 coq
20 mc
21 ];
22 inherit out;
23 };
24 in
25 with lib.versions;
26 lib.switch
27 [ coq.coq-version mathcomp-algebra.version ]
28 [
29 (case (range "9.0" "9.1") (range "2.4.0" "2.5.0") "2.2.0")
30 ]
31 null;
32 release."2.2.0".sha256 = "sha256-VnfK+RHWiq27hxEJ9stpVp609/dMiPH6UHFhzaHdAnM=";
33 releaseRev = v: "v${v}";
34
35 propagatedBuildInputs = [
36 mathcomp-algebra
37 stdlib
38 ];
39
40 meta = {
41 description = "Coq library of Partial Commutative Monoids";
42 license = lib.licenses.asl20;
43 maintainers = [ lib.maintainers.proux01 ];
44 };
45}