pkgs/development/python-modules/alectryon/default.nix

   1 { lib, buildPythonPackage, fetchPypi
   2 , pygments, dominate, beautifulsoup4, docutils, sphinx }:
   3
   4 buildPythonPackage rec {
   5   pname = "alectryon";
   6   version = "1.4.0";
   7   format = "setuptools";
   8
   9   src = fetchPypi {
  10     inherit pname version;
  11     sha256 = "00cxzfifvgcf3d3s8lsj1yxcwyf3a1964p86fj7b42q8pa0b4r3i";
  12   };
  13
  14   propagatedBuildInputs = [
  15     pygments
  16     dominate
  17     beautifulsoup4
  18     docutils
  19     sphinx
  20   ];
  21
  22   doCheck = false;
  23
  24   meta = with lib; {
  25     homepage = "https://github.com/cpitclaudel/alectryon";
  26     description = "A collection of tools for writing technical documents that mix Coq code and prose";
  27     mainProgram = "alectryon";
  28     license = licenses.mit;
  29     maintainers = with maintainers; [ Zimmi48 ];
  30   };
  31 }