blob: 38c29f25faa02a85d357f583f77a16e0807e2966 (
plain) (
blame)
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
|
{ coq, mkCoqDerivation, mathcomp-ssreflect, mathcomp-fingroup,
lib, version ? null }@args:
mkCoqDerivation {
namePrefix = [ "coq" "mathcomp" ];
pname = "tarjan";
owner = "math-comp";
inherit version;
defaultVersion = with lib.versions;
lib.switch [ coq.version mathcomp-ssreflect.version ] [
{ cases = [ (range "8.16" "8.19") (isGe "2.0.0") ]; out = "1.0.2"; }
{ cases = [ (range "8.12" "8.18") (range "1.12.0" "1.17.0") ]; out = "1.0.1"; }
{ cases = [ (range "8.10" "8.16") (range "1.12.0" "1.17.0") ]; out = "1.0.0"; }
] null;
release."1.0.2".sha256 = "sha256-U20xgA+e9KTRdvILD1cxN6ia+dlA8uBTIbc4QlKz9ss=";
release."1.0.1".sha256 = "sha256-utNjFCAqC5xOuhdyKhfMZkRYJD0xv9Gt6U3ZdQ56mek=";
release."1.0.0".sha256 = "sha256:0r459r0makshzwlygw6kd4lpvdjc43b3x5y9aa8x77f2z5gymjq1";
propagatedBuildInputs = [ mathcomp-ssreflect mathcomp-fingroup ];
meta = {
description = "Proofs of Tarjan and Kosaraju connected components algorithms";
license = lib.licenses.cecill-b;
};
}
|