coqPackages.pocklington: init at 8.12.0

This commit is contained in:
Ben Siraphob 2021-05-09 00:01:39 +07:00 committed by Vincent Laporte
parent e7d5862f4e
commit ddc71c80de
2 changed files with 23 additions and 0 deletions

View file

@ -0,0 +1,22 @@
{ lib, mkCoqDerivation, coq, version ? null }:
with lib;
mkCoqDerivation {
pname = "pocklington";
owner = "coq-community";
release."8.12.0".rev = "v8.12.0";
release."8.12.0".sha256 = "sha256-0xBrw9+4g14niYdNqp0nx00fPJoSSnaDSDEaIVpPfjs=";
inherit version;
defaultVersion = with versions; switch coq.coq-version [
{ case = isGe "8.7"; out = "8.12.0"; }
] null;
meta = {
description = "Pocklington's criterion for primality in Coq";
maintainers = with maintainers; [ siraben ];
license = licenses.mit;
platforms = platforms.unix;
};
}

View file

@ -64,6 +64,7 @@ let
odd-order = callPackage ../development/coq-modules/odd-order { };
paco = callPackage ../development/coq-modules/paco {};
paramcoq = callPackage ../development/coq-modules/paramcoq {};
pocklington = callPackage ../development/coq-modules/pocklington {};
QuickChick = callPackage ../development/coq-modules/QuickChick {};
simple-io = callPackage ../development/coq-modules/simple-io { };
stdpp = callPackage ../development/coq-modules/stdpp { };