tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkRocqDerivation,
4 rocq-core,
5 stdlib,
6 version ? null,
7}:
8
9mkRocqDerivation {
10 pname = "stdpp";
11 inherit version;
12 domain = "gitlab.mpi-sws.org";
13 owner = "iris";
14 defaultVersion =
15 let
16 case = case: out: { inherit case out; };
17 in
18 with lib.versions;
19 lib.switch rocq-core.rocq-version [
20 (case (range "9.0" "9.2") "1.13.0")
21 ] null;
22 release."1.13.0".sha256 = "sha256-kj8oBzarsLB4DDQ43yz4ViQbyzuISqext28wC2Fh3Sw=";
23 releaseRev = v: "stdpp-${v}";
24
25 propagatedBuildInputs = [ stdlib ];
26
27 preBuild = ''
28 if [[ -f coq-lint.sh ]]
29 then patchShebangs coq-lint.sh
30 fi
31 '';
32
33 meta = {
34 description = "Extended “Standard Library” for Rocq";
35 license = lib.licenses.bsd3;
36 maintainers = [
37 lib.maintainers.vbgl
38 lib.maintainers.ineol
39 ];
40 };
41}