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

   1 {lib, fetchzip, mkCoqDerivation, coq, version ? null }:
   2
   3 with lib; mkCoqDerivation {
   4   pname = "heq";
   5   repo = "Heq";
   6   owner = "gil";
   7   domain = "mpi-sws.org";
   8   inherit version fetcher;
   9   defaultVersion = if versions.isLt "8.8" coq.coq-version then "0.92" else null;
  10   release."0.92".sha256 = "0cf8y6728n81wwlbpq3vi7l2dbzi7759klypld4gpsjjp1y1fj74";
  11
  12   mlPlugin = true;
  13   propagatedBuildInputs = [ coq ];
  14
  15   extraInstallFlags = [ "COQLIB=$out/lib/coq/${coq.coq-version}" ];
  16   preBuild = "cd src";
  17
  18   meta = {
  19     homepage = "https://www.mpi-sws.org/~gil/Heq/";
  20     description = "Heq : a Coq library for Heterogeneous Equality";
  21     maintainers = with maintainers; [ jwiegley ];
  22   };
  23 }