pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   mathcomp-algebra,
   6   coq-elpi,
   7   mathcomp-zify,
   8   version ? null,
   9 }:
  10
  11 mkCoqDerivation {
  12   namePrefix = [
  13     "coq"
  14     "mathcomp"
  15   ];
  16   pname = "algebra-tactics";
  17   owner = "math-comp";
  18   inherit version;
  19
  20   defaultVersion =
  21     with lib.versions;
  22     lib.switch
  23       [ coq.coq-version mathcomp-algebra.version ]
  24       [
  25         {
  26           cases = [
  27             (range "8.16" "8.20")
  28             (isGe "2.0")
  29           ];
  30           out = "1.2.3";
  31         }
  32         {
  33           cases = [
  34             (range "8.16" "8.18")
  35             (isGe "2.0")
  36           ];
  37           out = "1.2.2";
  38         }
  39         {
  40           cases = [
  41             (range "8.16" "8.19")
  42             (isGe "1.15")
  43           ];
  44           out = "1.1.1";
  45         }
  46         {
  47           cases = [
  48             (range "8.13" "8.16")
  49             (isGe "1.12")
  50           ];
  51           out = "1.0.0";
  52         }
  53       ]
  54       null;
  55
  56   release."1.0.0".sha256 = "sha256-kszARPBizWbxSQ/Iqpf2vLbxYc6AjpUCLnSNlPcNfls=";
  57   release."1.1.1".sha256 = "sha256-5wItMeeTRoJlRBH3zBNc2VUZn6pkDde60YAvXTx+J3U=";
  58   release."1.2.2".sha256 = "sha256-EU9RJGV3BvnmsX+mGH+6+MDXiGHgDI7aP5sIYiMUXTs=";
  59   release."1.2.3".sha256 = "sha256-6uc1VEfDv+fExEfBR2c0/Q/KjrkX0TbEMCLgeYcpkls=";
  60
  61   propagatedBuildInputs = [
  62     mathcomp-algebra
  63     coq-elpi
  64     mathcomp-zify
  65   ];
  66
  67   meta = {
  68     description = "Ring and field tactics for Mathematical Components";
  69     maintainers = with lib.maintainers; [ cohencyril ];
  70   };
  71 }