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