1{
2 lib,
3 buildPythonPackage,
4 fetchFromGitHub,
5
6 # build-system
7 setuptools,
8
9 # dependencies
10 plasTeX,
11}:
12
13buildPythonPackage {
14 pname = "plastexshowmore";
15 version = "0.0.2";
16 pyproject = true;
17
18 src = fetchFromGitHub {
19 repo = "plastexshowmore";
20 owner = "PatrickMassot";
21 rev = "0.0.2";
22 hash = "sha256-b45VHHEwFA41FaInDteix56O7KYDzyKiRRSl7heHqEA=";
23 };
24
25 build-system = [ setuptools ];
26
27 dependencies = [ plasTeX ];
28
29 meta = {
30 description = "PlasTeX plugin for adding navigation buttons";
31 homepage = "https://github.com/PatrickMassot/plastexshowmore";
32 maintainers = with lib.maintainers; [ niklashh ];
33 license = lib.licenses.asl20;
34 };
35}