deb_control_files:
- control
- md5sums
- postinst
- prerm
deb_fields:
Architecture: all
Depends: python3-atomicwrites, python3-certifi, python3-click, python3-git, python3-github,
python3-networkx, python3-pydot, python3-requests, python3-toml, python3-tqdm,
python3-yaml, python3:any
Description: |-
supporting tool for Lean mathlib
mathlib-tools contains leanproject, a supporting tool for Lean mathlib. In
conjunction with elan it allows a user to create, build, update and
otherwise manage projects using the Lean 3 theorem prover and the mathlib
library of mathematics and tactics.
Homepage: https://github.com/leanprover-community/mathlib-tools
Installed-Size: '96'
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Package: mathlibtools
Priority: optional
Recommends: elan
Section: math
Version: 1.1.0-1
srcpkg_name: mathlibtools
srcpkg_version: 1.1.0-1