tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7
8mkCoqDerivation {
9 pname = "pocklington";
10 owner = "coq-community";
11
12 release."8.12.0".rev = "v8.12.0";
13 release."8.12.0".sha256 = "sha256-0xBrw9+4g14niYdNqp0nx00fPJoSSnaDSDEaIVpPfjs=";
14
15 inherit version;
16 defaultVersion =
17 with lib.versions;
18 lib.switch coq.coq-version [
19 {
20 case = range "8.7" "8.18";
21 out = "8.12.0";
22 }
23 ] null;
24
25 meta = with lib; {
26 description = "Pocklington's criterion for primality in Coq";
27 maintainers = with maintainers; [ siraben ];
28 license = licenses.mit;
29 platforms = platforms.unix;
30 };
31}