pyrox.dev
1{ lib
2, atomicwrites
3, buildPythonPackage
4, click
5, fetchPypi
6, gitpython
7, networkx
8, pydot
9, pygithub
10, pythonOlder
11, pyyaml
12, toml
13, tqdm
14}:
15
16buildPythonPackage rec {
17 pname = "mathlibtools";
18 version = "1.3.2";
19 format = "setuptools";
20
21 disabled = pythonOlder "3.6";
22
23 src = fetchPypi {
24 inherit pname version;
25 hash = "sha256-mkn0y3NV/acnkqVzi8xd+Sex4QLvxxmt++FtsZmgrGs=";
26 };
27
28 propagatedBuildInputs = [
29 atomicwrites
30 click
31 gitpython
32 networkx
33 pydot
34 pygithub
35 pyyaml
36 toml
37 tqdm
38 ];
39
40 # Requires internet access
41 doCheck = false;
42
43 pythonImportsCheck = [
44 "mathlibtools"
45 ];
46
47 meta = with lib; {
48 description = "Supporting tool for Lean's mathlib";
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}