diff options
Diffstat (limited to 'nixpkgs/pkgs/development/python-modules/alectryon')
-rw-r--r-- | nixpkgs/pkgs/development/python-modules/alectryon/default.nix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/python-modules/alectryon/default.nix b/nixpkgs/pkgs/development/python-modules/alectryon/default.nix new file mode 100644 index 000000000000..136768950dfd --- /dev/null +++ b/nixpkgs/pkgs/development/python-modules/alectryon/default.nix @@ -0,0 +1,30 @@ +{ 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 = "A collection of tools for writing technical documents that mix Coq code and prose"; + license = licenses.mit; + maintainers = with maintainers; [ Zimmi48 ]; + }; +} |