pkgs/development/coq-modules/pocklington/default.nix

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   version ? null,
   6 }:
   7
   8 mkCoqDerivation {
   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 }