Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
678 B · 29 lines
Nix
at litex
123456789101112131415161718192021222324252627282930{ lib, buildPythonPackage, fetchPypi, pygments, dominate, beautifulsoup4, docutils, sphinx }:
buildPythonPackage rec { pname = "alectryon"; version = "1.4.0";
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 = "A collection of tools for writing technical documents that mix Coq code and prose"; license = licenses.mit; maintainers = with maintainers; [ Zimmi48 ]; };}