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

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   stdlib,
   6   version ? null,
   7 }:
   8
   9 mkCoqDerivation {
  10   pname = "StructTact";
  11   owner = "uwplse";
  12   inherit version;
  13   defaultVersion =
  14     with lib.versions;
  15     lib.switch coq.coq-version [
  16       {
  17         case = range "8.9" "8.20";
  18         out = "20230107";
  19       }
  20       {
  21         case = range "8.6" "8.16";
  22         out = "20210328";
  23       }
  24       {
  25         case = range "8.5" "8.13";
  26         out = "20181102";
  27       }
  28     ] null;
  29   release."20230107".rev = "2f2ff253be29bb09f36cab96d036419b18a95b00";
  30   release."20230107".sha256 = "sha256-4mWdnWD8m1ddgqWHqzjqclhinXJaB/YoLlmLeeL0yZA=";
  31   release."20210328".rev = "179bd5312e9d8b63fc3f4071c628cddfc496d741";
  32   release."20210328".sha256 = "sha256:1y5r1zm3hli10ah6lnj7n8hxad6rb6rgldd0g7m2fjibzvwqzhdg";
  33   release."20181102".rev = "82a85b7ec07e71fa6b30cfc05f6a7bfb09ef2510";
  34   release."20181102".sha256 = "08zry20flgj7qq37xk32kzmg4fg6d4wi9m7pf9aph8fd3j2a0b5v";
  35
  36   propagatedBuildInputs = [ stdlib ];
  37 }