Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
972 B · 54 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455{ lib, buildPythonPackage, fetchFromGitHub,
# build-system setuptools,
# dependencies plasTeX, plastexshowmore, plastexdepgraph, click, rich, rich-click, tomlkit, jinja2, gitpython,}:buildPythonPackage { pname = "leanblueprint"; version = "0.0.10"; pyproject = true;
src = fetchFromGitHub { repo = "leanblueprint"; owner = "PatrickMassot"; rev = "v0.0.10"; hash = "sha256-CUYdxEXgTf2vKDiOoeW4RV6tQ6prFhA4qMc0olZtZBM="; };
build-system = [ setuptools ];
dependencies = [ plasTeX plastexshowmore plastexdepgraph click rich rich-click tomlkit jinja2 gitpython ];
pythonImportsCheck = [ "leanblueprint" ];
meta = { description = "This plasTeX plugin allowing to write blueprints for Lean 4 projects"; homepage = "https://github.com/PatrickMassot/leanblueprint"; maintainers = with lib.maintainers; [ niklashh ]; license = lib.licenses.asl20; };}