pkgs/development/coq-modules/mathcomp-tarjan/default.nix

   1 { coq, mkCoqDerivation, mathcomp-ssreflect, mathcomp-fingroup,
   2   lib, version ? null }@args:
   3
   4 mkCoqDerivation {
   5
   6   namePrefix = [ "coq" "mathcomp" ];
   7   pname = "tarjan";
   8   owner = "math-comp";
   9
  10   inherit version;
  11   defaultVersion = with lib.versions;
  12     lib.switch [ coq.version mathcomp-ssreflect.version ] [
  13       { cases = [ (range "8.16" "8.18") (isGe "2.0.0") ]; out = "1.0.2"; }
  14       { cases = [ (range "8.12" "8.18") (range "1.12.0" "1.17.0") ]; out = "1.0.1"; }
  15       { cases = [ (range "8.10" "8.16") (range "1.12.0" "1.17.0") ]; out = "1.0.0"; }
  16   ] null;
  17   release."1.0.2".sha256 = "sha256-U20xgA+e9KTRdvILD1cxN6ia+dlA8uBTIbc4QlKz9ss=";
  18   release."1.0.1".sha256 = "sha256-utNjFCAqC5xOuhdyKhfMZkRYJD0xv9Gt6U3ZdQ56mek=";
  19   release."1.0.0".sha256 = "sha256:0r459r0makshzwlygw6kd4lpvdjc43b3x5y9aa8x77f2z5gymjq1";
  20
  21   propagatedBuildInputs = [ mathcomp-ssreflect mathcomp-fingroup ];
  22
  23   meta = {
  24     description = "Proofs of Tarjan and Kosaraju connected components algorithms";
  25     license = lib.licenses.cecill-b;
  26   };
  27 }