anders: init at 1.1.1
This commit is contained in:
parent
b01700309d
commit
3f90b3a1e1
24
pkgs/applications/science/logic/anders/default.nix
Normal file
24
pkgs/applications/science/logic/anders/default.nix
Normal file
@ -0,0 +1,24 @@
|
|||||||
|
{ 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=";
|
||||||
|
};
|
||||||
|
|
||||||
|
buildInputs = with ocamlPackages; [ zarith menhir ];
|
||||||
|
|
||||||
|
meta = with lib; {
|
||||||
|
description = "Modal Homotopy Type System";
|
||||||
|
homepage = "https://homotopy.dev/";
|
||||||
|
license = licenses.isc;
|
||||||
|
maintainers = [ maintainers.suhr ];
|
||||||
|
};
|
||||||
|
}
|
@ -182,6 +182,8 @@ with pkgs;
|
|||||||
|
|
||||||
althttpd = callPackage ../servers/althttpd { };
|
althttpd = callPackage ../servers/althttpd { };
|
||||||
|
|
||||||
|
anders = callPackage ../applications/science/logic/anders { };
|
||||||
|
|
||||||
ankisyncd = callPackage ../servers/ankisyncd { };
|
ankisyncd = callPackage ../servers/ankisyncd { };
|
||||||
|
|
||||||
aocd = with python3Packages; toPythonApplication aocd;
|
aocd = with python3Packages; toPythonApplication aocd;
|
||||||
|
Loading…
Reference in New Issue
Block a user