pyrox.dev
1{
2 rocq-core,
3 mkRocqDerivation,
4 lib,
5 version ? null,
6}:
7mkRocqDerivation {
8
9 pname = "stdlib";
10 repo = "stdlib";
11 owner = "rocq-prover";
12 opam-name = "rocq-stdlib";
13
14 inherit version;
15 defaultVersion =
16 let
17 case = case: out: { inherit case out; };
18 in
19 with lib.versions;
20 lib.switch rocq-core.version [
21 (case (range "9.0" "9.1") "9.0.0")
22 ] null;
23 releaseRev = v: "V${v}";
24
25 release."9.0.0".sha256 = "sha256-2l7ak5Q/NbiNvUzIVXOniEneDXouBMNSSVFbD1Pf8cQ=";
26
27 mlPlugin = true;
28
29 meta = {
30 description = "Rocq Proof Assistant -- Standard Library";
31 license = lib.licenses.lgpl21Only;
32 };
33
34}