tjh.dev
1{
2 lib,
3 buildPythonPackage,
4 fetchPypi,
5 pygments,
6 isPy3k,
7}:
8
9buildPythonPackage rec {
10 pname = "pygments_better_html";
11 version = "0.1.5";
12 disabled = !isPy3k;
13
14 src = fetchPypi {
15 inherit pname version;
16 hash = "sha256-SLAe5ubIGEchUNoHCct6CWisBja3WNEfpE48v9CTzPQ=";
17 };
18
19 propagatedBuildInputs = [ pygments ];
20
21 # has no tests
22 doCheck = false;
23
24 pythonImportsCheck = [ "pygments_better_html" ];
25
26 meta = with lib; {
27 homepage = "https://github.com/Kwpolska/pygments_better_html";
28 description = "Improved line numbering for Pygments’ HTML formatter";
29 license = licenses.bsd3;
30 maintainers = with maintainers; [ hexa ];
31 };
32}