dsc_fields:
Architecture: all
Binary: mathlibtools
Build-Depends: dh-python, python3-setuptools, python3-all, debhelper-compat (= 13)
Checksums-Sha1:
- name: mathlibtools_1.1.0.orig.tar.gz
sha1: 9a824e015d92607979255c588ede2346d1e67fda
size: '32374'
- name: mathlibtools_1.1.0-1.debian.tar.xz
sha1: f5722edc5b6e462250cfd09cc46b5786f1411cf6
size: '2212'
Checksums-Sha256:
- name: mathlibtools_1.1.0.orig.tar.gz
sha256: f2481b4545fdad08780248db0fe1c879e3788c000eda014433338228255e76ad
size: '32374'
- name: mathlibtools_1.1.0-1.debian.tar.xz
sha256: eab16db5c25fb8c58c754018584f214016979c26bc1dbf0a750ba61742777a2a
size: '2212'
Files:
- md5sum: a02c877b6dceb533c2eb3a6b54b08834
name: mathlibtools_1.1.0.orig.tar.gz
size: '32374'
- md5sum: 2474f31b10db37fc0c65c127bce46806
name: mathlibtools_1.1.0-1.debian.tar.xz
size: '2212'
Format: 3.0 (quilt)
Homepage: https://github.com/leanprover-community/mathlib-tools
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Package-List: |2-
mathlibtools deb math optional arch=all
Source: mathlibtools
Standards-Version: 4.6.0.1
Uploaders: Christopher Hoskin <mans0954@debian.org>
Vcs-Browser: https://salsa.debian.org/python-team/packages/mathlibtools
Vcs-Git: https://salsa.debian.org/python-team/packages/mathlibtools.git
Version: 1.1.0-1
name: mathlibtools
type: dpkg
version: 1.1.0-1