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

   1 { which, lib, mkCoqDerivation, autoconf, coq, flocq, version ? null }:
   2
   3 mkCoqDerivation {
   4   pname = "gappalib";
   5   repo = "coq";
   6   owner = "gappa";
   7   domain = "gitlab.inria.fr";
   8   inherit version;
   9   defaultVersion = if lib.versions.range "8.8" "8.18" coq.coq-version then "1.5.4" else null;
  10   release."1.5.4".sha256 = "sha256-9PlkXqCu4rbFD7qnMF1GSpPCVmwJ3r593RfAvkJbbdA=";
  11   release."1.5.3".sha256 = "sha256-SuMopX5sm4jh2uBuE7zr6vhWhHYZYnab+epjqYJqg+s=";
  12   release."1.5.2".sha256 = "sha256-A021Bhqz5r2CZBayfjIiWrCIfUlejcQAfbTmOaf6QTM=";
  13   release."1.5.1".sha256 = "1806bq1z6q5rq2ma7d5kfbqfyfr755hjg0dq7b2llry8fx9cxjsg";
  14   release."1.5.0".sha256 = "1i1c0gakffxqqqqw064cbvc243yl325hxd50jmczr6mk18igk41n";
  15   release."1.4.5".sha256 = "081hib1d9wfm29kis390qsqch8v6fs3q71g2rgbbzx5y5cf48n9k";
  16   release."1.4.4".sha256 = "114q2hgw64j6kqa9mg3qcp1nlf0ia46z2xadq81fnkxqm856ml7l";
  17   releaseRev = v: "gappalib-coq-${v}";
  18
  19   nativeBuildInputs = [ autoconf ];
  20   mlPlugin = true;
  21   propagatedBuildInputs = [ flocq ];
  22   useMelquiondRemake.logpath = "Gappa";
  23
  24   meta = with lib; {
  25     description = "Coq support library for Gappa";
  26     license = licenses.lgpl21;
  27     maintainers = [ maintainers.vbgl ];
  28   };
  29 }