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

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   Cheerios,
   6   InfSeqExt,
   7   ssreflect,
   8   version ? null,
   9 }:
  10
  11 mkCoqDerivation {
  12   pname = "verdi";
  13   owner = "uwplse";
  14   inherit version;
  15   defaultVersion =
  16     with lib.versions;
  17     lib.switch coq.coq-version [
  18       {
  19         case = range "8.9" "8.18";
  20         out = "20230503";
  21       }
  22       {
  23         case = range "8.7" "8.16";
  24         out = "20211026";
  25       }
  26       {
  27         case = range "8.7" "8.14";
  28         out = "20210524";
  29       }
  30       {
  31         case = range "8.7" "8.13";
  32         out = "20200131";
  33       }
  34       {
  35         case = "8.6";
  36         out = "20181102";
  37       }
  38     ] null;
  39   release."20230503".rev = "76833a7b2188e99e358b8439ea6b4f38401c962a";
  40   release."20230503".sha256 = "sha256-g59adl/FLMlk9vZciz2I1ZX4PDCElNOgVPCwML8E4DU=";
  41   release."20211026".rev = "064cc4fb2347453bf695776ed820ffb5fbc1d804";
  42   release."20211026".sha256 = "sha256:13xrcyzay5sjszf5lg4s44wl9nrcz22n6gi4h95pkpj0ni5clinx";
  43   release."20210524".rev = "54597d8ac7ab7dd4dae683f651237644bf77701e";
  44   release."20210524".sha256 = "sha256:05wb0km2jkhvi8807glxk9fi1kll4lwisiyzkxhqvymz4x6v8xqv";
  45   release."20200131".rev = "fdb4ede19d2150c254f0ebcfbed4fb9547a734b0";
  46   release."20200131".sha256 = "1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
  47   release."20181102".rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
  48   release."20181102".sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z";
  49
  50   propagatedBuildInputs = [
  51     Cheerios
  52     InfSeqExt
  53     ssreflect
  54   ];
  55 }