tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
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.2" "9.2") "9.1.0")
22 (case (range "9.0" "9.1") "9.0.0")
23 ] null;
24 releaseRev = v: "V${v}";
25
26 release."9.0.0".sha256 = "sha256-2l7ak5Q/NbiNvUzIVXOniEneDXouBMNSSVFbD1Pf8cQ=";
27 release."9.1.0".sha256 = "sha256-D/kCMsJDg5OnP37GhvXIr2Fi/xCbgCCzoikKx5rL6p4=";
28
29 mlPlugin = true;
30
31 meta = {
32 description = "Rocq Proof Assistant -- Standard Library";
33 license = lib.licenses.lgpl21Only;
34 };
35
36}