pkgs/by-name/an/anders/package.nix

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