Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
633 B · 31 lines
Nix
1234567891011121314151617181920212223242526272829303132{ lib, mkCoqDerivation, coq, version ? null,}:
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 lib.versions; lib.switch coq.coq-version [ { case = range "8.7" "8.18"; out = "8.12.0"; } ] null;
meta = with lib; { description = "Pocklington's criterion for primality in Coq"; maintainers = with maintainers; [ siraben ]; license = licenses.mit; platforms = platforms.unix; };}