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

   1 {
   2   coq,
   3   mkCoqDerivation,
   4   mathcomp,
   5   mathcomp-finmap,
   6   mathcomp-bigenough,
   7   lib,
   8   version ? null,
   9   useDune ? false,
  10 }@args:
  11 mkCoqDerivation {
  12
  13   namePrefix = [
  14     "coq"
  15     "mathcomp"
  16   ];
  17   pname = "multinomials";
  18
  19   owner = "math-comp";
  20
  21   inherit version;
  22   defaultVersion =
  23     with lib.versions;
  24     lib.switch
  25       [ coq.version mathcomp.version ]
  26       [
  27         {
  28           cases = [
  29             (range "8.17" "8.20")
  30             (isGe "2.1.0")
  31           ];
  32           out = "2.3.0";
  33         }
  34         {
  35           cases = [
  36             (range "8.17" "8.20")
  37             (isGe "2.1.0")
  38           ];
  39           out = "2.2.0";
  40         }
  41         {
  42           cases = [
  43             (range "8.16" "8.18")
  44             "2.1.0"
  45           ];
  46           out = "2.1.0";
  47         }
  48         {
  49           cases = [
  50             (range "8.16" "8.18")
  51             "2.0.0"
  52           ];
  53           out = "2.0.0";
  54         }
  55         {
  56           cases = [
  57             (isGe "8.15")
  58             (range "1.15.0" "1.19.0")
  59           ];
  60           out = "1.6.0";
  61         }
  62         {
  63           cases = [
  64             (isGe "8.10")
  65             (range "1.13.0" "1.17.0")
  66           ];
  67           out = "1.5.6";
  68         }
  69         {
  70           cases = [
  71             (range "8.10" "8.16")
  72             (range "1.12.0" "1.15.0")
  73           ];
  74           out = "1.5.5";
  75         }
  76         {
  77           cases = [
  78             (range "8.10" "8.12")
  79             "1.12.0"
  80           ];
  81           out = "1.5.3";
  82         }
  83         {
  84           cases = [
  85             (range "8.7" "8.12")
  86             "1.11.0"
  87           ];
  88           out = "1.5.2";
  89         }
  90         {
  91           cases = [
  92             (range "8.7" "8.11")
  93             (range "1.8" "1.10")
  94           ];
  95           out = "1.5.0";
  96         }
  97         {
  98           cases = [
  99             (range "8.7" "8.10")
 100             (range "1.8" "1.10")
 101           ];
 102           out = "1.4";
 103         }
 104         {
 105           cases = [
 106             "8.6"
 107             (range "1.6" "1.7")
 108           ];
 109           out = "1.1";
 110         }
 111       ]
 112       null;
 113   release = {
 114     "2.3.0".sha256 = "sha256-usIcxHOAuN+f/j3WjVbPrjz8Hl9ac8R6kYeAKi3CEts=";
 115     "2.2.0".sha256 = "sha256-Cie6paweITwPZy6ej9+qIvHFWknVR382uJPW927t/fo=";
 116     "2.1.0".sha256 = "sha256-QT91SBJ6DXhyg4j/okTvPP6yj2DnnPbnSlJ/p8pvZbY=";
 117     "2.0.0".sha256 = "sha256-2zWHzMBsO2j8EjN7CgCmKQcku9Be8aVlme0LD5p4ab8=";
 118     "1.6.0".sha256 = "sha256-lEM+sjqajIOm1c3lspHqcSIARgMR9RHbTQH4veHLJfU=";
 119     "1.5.6".sha256 = "sha256-cMixgc34T9Ic6v+tYmL49QUNpZpPV5ofaNuHqblX6oY=";
 120     "1.5.5".sha256 = "sha256-VdXA51vr7DZl/wT/15YYMywdD7Gh91dMP9t7ij47qNQ=";
 121     "1.5.4".sha256 = "0s4sbh4y88l125hdxahr56325hdhxxdmqmrz7vv8524llyv3fciq";
 122     "1.5.3".sha256 = "1462x40y2qydjd2wcg8r6qr8cx3xv4ixzh2h8vp9h7arylkja1qd";
 123     "1.5.2".sha256 = "15aspf3jfykp1xgsxf8knqkxv8aav2p39c2fyirw7pwsfbsv2c4s";
 124     "1.5.1".sha256 = "13nlfm2wqripaq671gakz5mn4r0xwm0646araxv0nh455p9ndjs3";
 125     "1.5.0".sha256 = "064rvc0x5g7y1a0nip6ic91vzmq52alf6in2bc2dmss6dmzv90hw";
 126     "1.5.0".rev = "1.5";
 127     "1.4".sha256 = "0vnkirs8iqsv8s59yx1fvg1nkwnzydl42z3scya1xp1b48qkgn0p";
 128     "1.3".sha256 = "0l3vi5n094nx3qmy66hsv867fnqm196r8v605kpk24gl0aa57wh4";
 129     "1.2".sha256 = "1mh1w339dslgv4f810xr1b8v2w7rpx6fgk9pz96q0fyq49fw2xcq";
 130     "1.1".sha256 = "1q8alsm89wkc0lhcvxlyn0pd8rbl2nnxg81zyrabpz610qqjqc3s";
 131     "1.0".sha256 = "1qmbxp1h81cy3imh627pznmng0kvv37k4hrwi2faa101s6bcx55m";
 132   };
 133
 134   useDuneifVersion = lib.versions.range "1.5.3" "2.2.0";
 135
 136   preConfigure = ''
 137     patchShebangs configure || true
 138   '';
 139
 140   propagatedBuildInputs = [
 141     mathcomp.ssreflect
 142     mathcomp.algebra
 143     mathcomp-finmap
 144     mathcomp.fingroup
 145     mathcomp-bigenough
 146   ];
 147
 148   meta = {
 149     description = "Coq/SSReflect Library for Monoidal Rings and Multinomials";
 150     license = lib.licenses.cecill-c;
 151   };
 152 }
 153 // lib.optionalAttrs (args ? useDune) { inherit useDune; }