tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 stdlib,
6 version ? null,
7}:
8
9mkCoqDerivation {
10
11 pname = "ceres";
12 repo = "coq-ceres";
13 owner = "Lysxia";
14
15 inherit version;
16 defaultVersion =
17 let
18 case = case: out: { inherit case out; };
19 in
20 with lib.versions;
21 lib.switch coq.version [
22 (case (range "8.14" "9.1") "0.4.1")
23 (case (range "8.8" "8.16") "0.4.0")
24 ] null;
25 release."0.4.1".sha256 = "sha256-9vyk8/8IVsqNyhw3WPzl8w3L9Wu7gfaMVa3n2nWjFiA=";
26 release."0.4.0".sha256 = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi";
27
28 useDuneifVersion = lib.versions.isGe "0.4.1";
29
30 propagatedBuildInputs = [ stdlib ];
31
32 meta = {
33 description = "Library for serialization to S-expressions";
34 license = lib.licenses.mit;
35 maintainers = with lib.maintainers; [ Zimmi48 ];
36 };
37}