pyrox.dev
1{
2 lib,
3 buildPythonPackage,
4 fetchPypi,
5 pygments,
6 dominate,
7 beautifulsoup4,
8 docutils,
9 sphinx,
10}:
11
12buildPythonPackage 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}