tjh.dev
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.10" "9.1") "0.3.4")
19 ] null;
20 release."0.3.4".sha256 = "sha256-AhEcugUiVIsgbq884Lur/bQIuGw8prk+3AlNkP1omcw=";
21 release."0.3.3".sha256 = "sha256-HDIPeFHiC9EwhiOH7yMGJ9d2zJMhboTpRGf9kWcB9Io=";
22 release."0.3.1".sha256 = "sha256-DyGxO2tqmYZZluXN6Oy5Tw6fuLMyuyxonj8CCToWKkk=";
23 release."0.3.0".sha256 = "1ffr21dd6hy19gxnvcd4if2450iksvglvkd6q5713fajd72hmc0z";
24 releaseRev = v: "v${v}";
25 buildFlags = [ "NO_TEST=1" ];
26 meta = {
27 description = "Library to create Coq record update functions";
28 maintainers = with lib.maintainers; [ ineol ];
29 };
30}