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

   1 { lib, mkCoqDerivation, coq, version ? null }:
   2
   3 mkCoqDerivation {
   4   pname = "pocklington";
   5   owner = "coq-community";
   6
   7   release."8.12.0".rev    = "v8.12.0";
   8   release."8.12.0".sha256 = "sha256-0xBrw9+4g14niYdNqp0nx00fPJoSSnaDSDEaIVpPfjs=";
   9
  10   inherit version;
  11   defaultVersion = with lib.versions; lib.switch coq.coq-version [
  12     { case = range "8.7" "8.18"; out = "8.12.0"; }
  13   ] null;
  14
  15   meta = with lib; {
  16     description = "Pocklington's criterion for primality in Coq";
  17     maintainers = with maintainers; [ siraben ];
  18     license = licenses.mit;
  19     platforms = platforms.unix;
  20   };
  21 }