File list of package mathlibtools in jammy of architecture all

/usr/bin/leanproject
/usr/lib/python3/dist-packages/mathlibtools-1.1.0.egg-info/PKG-INFO
/usr/lib/python3/dist-packages/mathlibtools-1.1.0.egg-info/dependency_links.txt
/usr/lib/python3/dist-packages/mathlibtools-1.1.0.egg-info/entry_points.txt
/usr/lib/python3/dist-packages/mathlibtools-1.1.0.egg-info/requires.txt
/usr/lib/python3/dist-packages/mathlibtools-1.1.0.egg-info/top_level.txt
/usr/lib/python3/dist-packages/mathlibtools/__init__.py
/usr/lib/python3/dist-packages/mathlibtools/_version.py
/usr/lib/python3/dist-packages/mathlibtools/auth_github.py
/usr/lib/python3/dist-packages/mathlibtools/decls.lean
/usr/lib/python3/dist-packages/mathlibtools/delayed_interrupt.py
/usr/lib/python3/dist-packages/mathlibtools/git_helpers.py
/usr/lib/python3/dist-packages/mathlibtools/import_graph.py
/usr/lib/python3/dist-packages/mathlibtools/leanproject.py
/usr/lib/python3/dist-packages/mathlibtools/lib.py
/usr/lib/python3/dist-packages/mathlibtools/post-checkout
/usr/lib/python3/dist-packages/mathlibtools/post-commit
/usr/share/doc/mathlibtools/changelog.Debian.gz
/usr/share/doc/mathlibtools/copyright