coqPackages.coqprime: init at 8.7.2 & 8.8
This commit is contained in:
parent
89b618771a
commit
c71cc0b98b
46
pkgs/development/coq-modules/coqprime/default.nix
Normal file
46
pkgs/development/coq-modules/coqprime/default.nix
Normal file
|
@ -0,0 +1,46 @@
|
||||||
|
{ stdenv, fetchFromGitHub, coq, bignums }:
|
||||||
|
|
||||||
|
let params =
|
||||||
|
{
|
||||||
|
"8.7" = {
|
||||||
|
version = "8.7.2";
|
||||||
|
sha256 = "15zlcrx06qqxjy3nhh22wzy0rb4npc8l4nx2bbsfsvrisbq1qb7k";
|
||||||
|
};
|
||||||
|
"8.8" = {
|
||||||
|
version = "8.8";
|
||||||
|
sha256 = "075yjczk79pf1hd3lgdjiz84ilkzfxjh18lgzrhhqp7d3kz5lxp5";
|
||||||
|
};
|
||||||
|
};
|
||||||
|
param = params."${coq.coq-version}"
|
||||||
|
; in
|
||||||
|
|
||||||
|
stdenv.mkDerivation rec {
|
||||||
|
|
||||||
|
inherit (param) version;
|
||||||
|
name = "coq${coq.coq-version}-coqprime-${version}";
|
||||||
|
|
||||||
|
src = fetchFromGitHub {
|
||||||
|
owner = "thery";
|
||||||
|
repo = "coqprime";
|
||||||
|
rev = "v${version}";
|
||||||
|
inherit (param) sha256;
|
||||||
|
};
|
||||||
|
|
||||||
|
buildInputs = [ coq ];
|
||||||
|
|
||||||
|
propagatedBuildInputs = [ bignums ];
|
||||||
|
|
||||||
|
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
|
||||||
|
|
||||||
|
meta = with stdenv.lib; {
|
||||||
|
description = "Library to certify primality using Pocklington certificate and Elliptic Curve Certificate";
|
||||||
|
license = licenses.lgpl21;
|
||||||
|
maintainers = [ stdenv.lib.maintainers.vbgl ];
|
||||||
|
inherit (coq.meta) platforms;
|
||||||
|
inherit (src.meta) homepage;
|
||||||
|
};
|
||||||
|
|
||||||
|
passthru = {
|
||||||
|
compatibleCoqVersions = v: builtins.hasAttr v params;
|
||||||
|
};
|
||||||
|
}
|
|
@ -22,6 +22,7 @@ let
|
||||||
CoLoR = callPackage ../development/coq-modules/CoLoR {};
|
CoLoR = callPackage ../development/coq-modules/CoLoR {};
|
||||||
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
|
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
|
||||||
coq-haskell = callPackage ../development/coq-modules/coq-haskell { };
|
coq-haskell = callPackage ../development/coq-modules/coq-haskell { };
|
||||||
|
coqprime = callPackage ../development/coq-modules/coqprime {};
|
||||||
coquelicot = callPackage ../development/coq-modules/coquelicot {};
|
coquelicot = callPackage ../development/coq-modules/coquelicot {};
|
||||||
dpdgraph = callPackage ../development/coq-modules/dpdgraph {};
|
dpdgraph = callPackage ../development/coq-modules/dpdgraph {};
|
||||||
equations = callPackage ../development/coq-modules/equations { };
|
equations = callPackage ../development/coq-modules/equations { };
|
||||||
|
|
Loading…
Reference in a new issue