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

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