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