blob: a3d6f931d6e065307bcbf6fc71ded40915ef6c5d (
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
|
{
lib,
mkRocqDerivation,
rocq-core,
stdlib,
version ? null,
}:
mkRocqDerivation {
pname = "bignums";
owner = "rocq-community";
inherit version;
defaultVersion =
let
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.2") "9.0.0+rocq${rocq-core.rocq-version}")
] null;
release."9.0.0+rocq9.0".sha256 = "sha256-ctnwpyNVhryEUA5YEsAImrcJsNMhtBgDSOz+z5Z4R78=";
release."9.0.0+rocq9.1".sha256 = "sha256-MSjlfJs3JOakuShOj+isNlus0bKlZ+rkvzRoKZQK5RQ=";
release."9.0.0+rocq9.2".sha256 = "sha256-XQIx3MjmPgRsFMJiD1DR+FWkmO4J86tQ5fDuPHcjf+A=";
releaseRev = v: "v${v}";
mlPlugin = true;
propagatedBuildInputs = [ stdlib ];
meta = {
license = lib.licenses.lgpl2;
};
}
|
