pyrox.dev
1{
2 lib,
3 fetchFromGitHub,
4 ocamlPackages,
5}:
6
7ocamlPackages.buildDunePackage rec {
8 pname = "anders";
9 version = "1.1.1";
10
11 duneVersion = "3";
12
13 src = fetchFromGitHub {
14 owner = "groupoid";
15 repo = "anders";
16 tag = version;
17 sha256 = "sha256-JUiZoo2rNLfgs94TlJqUNzul/7ODisCjSFAzhgSp1z4=";
18 };
19
20 strictDeps = true;
21
22 nativeBuildInputs = [ ocamlPackages.menhir ];
23 buildInputs = [ ocamlPackages.zarith ];
24
25 meta = with lib; {
26 description = "Modal Homotopy Type System";
27 mainProgram = "anders";
28 homepage = "https://homotopy.dev/";
29 license = licenses.isc;
30 maintainers = [ maintainers.suhr ];
31 };
32}