@@ -0,0 +1,16 @@
1+{ lib, mkCoqDerivation, coq, version ? null , paco, coq-ext-lib }:
2+
3+with lib; mkCoqDerivation rec {
4+ pname = "coq-record-update";
5+ owner = "tchajed";
6+ inherit version;
7+ defaultVersion = with versions; switch coq.coq-version [
8+ { case = range "8.10" "8.14"; out = "0.3.0"; }
9+ ] null;
10+ release."0.3.0".sha256 = "1ffr21dd6hy19gxnvcd4if2450iksvglvkd6q5713fajd72hmc0z";
11+ releaseRev = v: "v${v}";
12+ meta = {
13+ description = "Library to create Coq record update functions";
14+ maintainers = with maintainers; [ ineol ];
15+ };
16+}