pyrox.dev
1{
2 lib,
3 atomicwrites,
4 buildPythonPackage,
5 click,
6 fetchPypi,
7 gitpython,
8 networkx,
9 pydot,
10 pygithub,
11 pythonOlder,
12 pyyaml,
13 toml,
14 tqdm,
15}:
16
17buildPythonPackage rec {
18 pname = "mathlibtools";
19 version = "1.3.2";
20 format = "setuptools";
21
22 disabled = pythonOlder "3.6";
23
24 src = fetchPypi {
25 inherit pname version;
26 hash = "sha256-mkn0y3NV/acnkqVzi8xd+Sex4QLvxxmt++FtsZmgrGs=";
27 };
28
29 propagatedBuildInputs = [
30 atomicwrites
31 click
32 gitpython
33 networkx
34 pydot
35 pygithub
36 pyyaml
37 toml
38 tqdm
39 ];
40
41 # Requires internet access
42 doCheck = false;
43
44 pythonImportsCheck = [ "mathlibtools" ];
45
46 meta = with lib; {
47 description = "Supporting tool for Lean's mathlib";
48 mainProgram = "leanproject";
49 homepage = "https://github.com/leanprover-community/mathlib-tools";
50 changelog = "https://github.com/leanprover-community/mathlib-tools/raw/v${version}/CHANGELOG.md";
51 license = licenses.asl20;
52 maintainers = with maintainers; [ gebner ];
53 };
54}