tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 mathcomp,
6 mathcomp-algebra-tactics,
7 stdlib,
8 version ? null,
9}:
10
11mkCoqDerivation {
12 pname = "coq-bits";
13 repo = "bits";
14 inherit version;
15 defaultVersion =
16 with lib.versions;
17 lib.switch
18 [ coq.version mathcomp.version ]
19 [
20 {
21 cases = [
22 (range "8.10" "8.16")
23 (isLt "2.0")
24 ];
25 out = "1.1.0";
26 }
27 {
28 cases = [
29 (range "8.7" "8.15")
30 (isLt "2.0")
31 ];
32 out = "1.0.0";
33 }
34 ]
35 null;
36
37 release."1.1.0".sha256 = "sha256-TCw1kSXeW0ysIdLeNr+EGmpGumEE9i8tinEMp57UXaE=";
38 release."1.0.0".sha256 = "0nv5mdgrd075dpd8bc7h0xc5i95v0pkm0bfyq5rj6ii1s54dwcjl";
39
40 propagatedBuildInputs = [
41 mathcomp.algebra
42 mathcomp-algebra-tactics
43 stdlib
44 ];
45
46 meta = {
47 description = "Formalization of bitset operations in Coq";
48 license = lib.licenses.asl20;
49 maintainers = with lib.maintainers; [ ptival ];
50 };
51}