1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-05 20:12:52 +00:00
nixpkgs/pkgs/development/coq-modules/heq/default.nix

31 lines
816 B
Nix
Raw Normal View History

{stdenv, fetchurl, coq, unzip}:
stdenv.mkDerivation rec {
name = "coq-heq-${coq.coq-version}-${version}";
version = "0.92";
src = fetchurl {
url = "https://www.mpi-sws.org/~gil/Heq/download/Heq-${version}.zip";
sha256 = "03y71c4qs6cmy3s2hjs05g7pcgk9sqma6flj15394yyxbvr9is1p";
};
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 unzip ];
propagatedBuildInputs = [ coq ];
preBuild = "cd src";
2019-11-05 01:10:31 +00:00
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}" ];
meta = with stdenv.lib; {
homepage = https://www.mpi-sws.org/~gil/Heq/;
description = "Heq : a Coq library for Heterogeneous Equality";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
};
2018-03-21 14:00:47 +00:00
passthru = {
compatibleCoqVersions = v: !stdenv.lib.versionAtLeast v "8.8";
};
}