a13cdfe520
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier
27 lines
607 B
Nix
27 lines
607 B
Nix
{ lib, fetchFromGitHub, ocamlPackages }:
|
|
|
|
ocamlPackages.buildDunePackage rec {
|
|
pname = "anders";
|
|
version = "1.1.1";
|
|
|
|
useDune2 = true;
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "groupoid";
|
|
repo = "anders";
|
|
rev = "${version}";
|
|
sha256 = "sha256-JUiZoo2rNLfgs94TlJqUNzul/7ODisCjSFAzhgSp1z4=";
|
|
};
|
|
|
|
strictDeps = true;
|
|
|
|
nativeBuildInputs = [ ocamlPackages.menhir ];
|
|
buildInputs = [ ocamlPackages.zarith ];
|
|
|
|
meta = with lib; {
|
|
description = "Modal Homotopy Type System";
|
|
homepage = "https://homotopy.dev/";
|
|
license = licenses.isc;
|
|
maintainers = [ maintainers.suhr ];
|
|
};
|
|
}
|