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

   1 { lib, mkCoqDerivation, coq, version ? null
   2 , ssreflect
   3 }:
   4
   5 mkCoqDerivation {
   6   pname = "deriving";
   7   owner = "arthuraa";
   8
   9   inherit version;
  10   defaultVersion = with lib.versions; lib.switch [coq.coq-version ssreflect.version] [
  11     { cases = [(range "8.17" "8.18") (isGe "2.0.0")] ; out = "0.2.0"; }
  12     { cases = [(range "8.11" "8.18") (isLe "2.0.0")] ; out = "0.1.1"; }
  13   ] null;
  14
  15   releaseRev = v: "v${v}";
  16
  17   release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";
  18   release."0.1.1".sha256 = "sha256-Gu8aInLxTXfAFE0/gWRYI046Dx3Gv1j1+gx92v/UnPI=";
  19   release."0.1.0".sha256 = "sha256:11crnjm8hyis1qllkks3d7r07s1rfzwvyvpijya3s6iqfh8c7xwh";
  20
  21   propagatedBuildInputs = [ ssreflect ];
  22
  23   mlPlugin = true;
  24
  25   meta = with lib; {
  26     description = "Generic instances of MathComp classes";
  27     license = licenses.mit;
  28     maintainers = [ maintainers.vbgl ];
  29   };
  30
  31 }