Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
748 B · 39 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940{ lib, buildPythonPackage, fetchPypi, pygments, dominate, beautifulsoup4, docutils, sphinx,}:
buildPythonPackage rec { pname = "alectryon"; version = "1.4.0"; format = "setuptools";
src = fetchPypi { inherit pname version; sha256 = "00cxzfifvgcf3d3s8lsj1yxcwyf3a1964p86fj7b42q8pa0b4r3i"; };
propagatedBuildInputs = [ pygments dominate beautifulsoup4 docutils sphinx ];
doCheck = false;
meta = with lib; { homepage = "https://github.com/cpitclaudel/alectryon"; description = "Collection of tools for writing technical documents that mix Coq code and prose"; mainProgram = "alectryon"; license = licenses.mit; maintainers = with maintainers; [ Zimmi48 ]; };}