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 = "coq-record-update";
10 owner = "tchajed";
11 inherit version;
12 defaultVersion =
13 let
14 case = case: out: { inherit case out; };
15 in
16 with lib.versions;
17 lib.switch coq.coq-version [
18 (case (range "8.14" "9.1") "0.3.6")
19 (case (range "8.10" "9.1") "0.3.4")
20 ] null;
21 release."0.3.6".sha256 = "sha256-Sd9cmRPb/0MDlR9mzbFrrF9ifP/2vd0KG6u5fGOydds=";
22 release."0.3.5".sha256 = "sha256-n2HjGD45Ikwhle8jKjum+Hv+4WrpEqKEbJ6iKfwlQKw=";
23 release."0.3.4".sha256 = "sha256-AhEcugUiVIsgbq884Lur/bQIuGw8prk+3AlNkP1omcw=";
24 release."0.3.3".sha256 = "sha256-HDIPeFHiC9EwhiOH7yMGJ9d2zJMhboTpRGf9kWcB9Io=";
25 release."0.3.1".sha256 = "sha256-DyGxO2tqmYZZluXN6Oy5Tw6fuLMyuyxonj8CCToWKkk=";
26 release."0.3.0".sha256 = "1ffr21dd6hy19gxnvcd4if2450iksvglvkd6q5713fajd72hmc0z";
27 releaseRev = v: "v${v}";
28 buildFlags = [ "NO_TEST=1" ];
29 meta = {
30 description = "Library to create Coq record update functions";
31 maintainers = with lib.maintainers; [ ineol ];
32 };
33}