tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
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 = {
26 description = "Pocklington's criterion for primality in Coq";
27 maintainers = with lib.maintainers; [ siraben ];
28 license = lib.licenses.mit;
29 platforms = lib.platforms.unix;
30 };
31}