diff options
author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-07-20 12:27:32 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-08-17 16:45:47 +0200 |
commit | 1dcebe9cf57f173ad80b9e307cdfa2799ccb2057 (patch) | |
tree | d296d7a351d588d70f2be8adf19e054dbff7d5bf /pkgs/development/python-modules/alectryon | |
parent | 0c7e82e299a6dff270a279a47815da10bbcdb086 (diff) | |
download | nixpkgs-1dcebe9cf57f173ad80b9e307cdfa2799ccb2057.tar nixpkgs-1dcebe9cf57f173ad80b9e307cdfa2799ccb2057.tar.gz nixpkgs-1dcebe9cf57f173ad80b9e307cdfa2799ccb2057.tar.bz2 nixpkgs-1dcebe9cf57f173ad80b9e307cdfa2799ccb2057.tar.lz nixpkgs-1dcebe9cf57f173ad80b9e307cdfa2799ccb2057.tar.xz nixpkgs-1dcebe9cf57f173ad80b9e307cdfa2799ccb2057.tar.zst nixpkgs-1dcebe9cf57f173ad80b9e307cdfa2799ccb2057.zip |
python3Packages.alectryon: init at 1.3.1
Diffstat (limited to 'pkgs/development/python-modules/alectryon')
-rw-r--r-- | pkgs/development/python-modules/alectryon/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/development/python-modules/alectryon/default.nix b/pkgs/development/python-modules/alectryon/default.nix new file mode 100644 index 00000000000..30ae647b051 --- /dev/null +++ b/pkgs/development/python-modules/alectryon/default.nix @@ -0,0 +1,29 @@ +{ lib, buildPythonPackage, fetchPypi, pygments, dominate, beautifulsoup4, docutils, sphinx }: + +buildPythonPackage rec { + pname = "alectryon"; + owner = "cpitclaudel"; + version = "1.3.1"; + + src = fetchPypi { + inherit pname version; + sha256 = "sha256:0mca25jv917myb4n91ccpl5fz058aiqsn8cniflwfw5pp6lqnfg7"; + }; + + 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 ]; + }; +} |