pkgs/development/coq-modules/mathcomp-zify/default.nix

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   mathcomp-algebra,
   6   mathcomp-ssreflect,
   7   mathcomp-fingroup,
   8   version ? null,
   9 }:
  10
  11 mkCoqDerivation rec {
  12   namePrefix = [
  13     "coq"
  14     "mathcomp"
  15   ];
  16   pname = "zify";
  17   repo = "mczify";
  18   owner = "math-comp";
  19   inherit version;
  20
  21   defaultVersion =
  22     with lib.versions;
  23     lib.switch
  24       [ coq.coq-version mathcomp-algebra.version ]
  25       [
  26         {
  27           cases = [
  28             (range "8.16" "8.20")
  29             (isGe "2.0.0")
  30           ];
  31           out = "1.5.0+2.0+8.16";
  32         }
  33         {
  34           cases = [
  35             (range "8.13" "8.20")
  36             (range "1.12" "1.19.0")
  37           ];
  38           out = "1.3.0+1.12+8.13";
  39         }
  40         {
  41           cases = [
  42             (range "8.13" "8.16")
  43             (range "1.12" "1.17.0")
  44           ];
  45           out = "1.1.0+1.12+8.13";
  46         }
  47       ]
  48       null;
  49
  50   release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k";
  51   release."1.1.0+1.12+8.13".sha256 = "1plf4v6q5j7wvmd5gsqlpiy0vwlw6hy5daq2x42gqny23w9mi2pr";
  52   release."1.3.0+1.12+8.13".sha256 = "sha256-ebfY8HatP4te44M6o84DSLpDCkMu4IroPCy+HqzOnTE=";
  53   release."1.5.0+2.0+8.16".sha256 = "sha256-boBYGvXdGFc6aPnjgSZYSoW4kmN5khtNrSV3DUv9DqM=";
  54
  55   propagatedBuildInputs = [
  56     mathcomp-algebra
  57     mathcomp-ssreflect
  58     mathcomp-fingroup
  59   ];
  60
  61   meta = {
  62     description = "Micromega tactics for Mathematical Components";
  63     maintainers = with lib.maintainers; [ cohencyril ];
  64   };
  65 }