Something went wrong. Try again.
lol
Something went wrong. Try again.
746 B · 39 lines
Nix
at master
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 = { homepage = "https://github.com/cpitclaudel/alectryon"; description = "Collection of tools for writing technical documents that mix Coq code and prose"; mainProgram = "alectryon"; license = lib.licenses.mit; maintainers = with lib.maintainers; [ Zimmi48 ]; };}