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.1.2";
19 format = "setuptools";
20
21 disabled = pythonOlder "3.6";
22
23 src = fetchPypi {
24 inherit pname version;
25 hash = "sha256-Jbnb3FKyB1NAehB8tZxBV6d7JJCOgWZPMWMaFEAOzkM=";
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 license = licenses.asl20;
51 maintainers = with maintainers; [ gebner ];
52 };
53}