-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathlibtools
Binary: mathlibtools
Architecture: all
Version: 1.3.2-1
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Uploaders: Christopher Hoskin <mans0954@debian.org>
Homepage: https://github.com/leanprover-community/mathlib-tools
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/python-team/packages/mathlibtools
Vcs-Git: https://salsa.debian.org/python-team/packages/mathlibtools.git
Testsuite: autopkgtest
Testsuite-Triggers: python3-all, python3-pytest
Build-Depends: dh-python, python3-setuptools, python3-all, debhelper-compat (= 13), python3-pytest <!nocheck>, python3-git, python3-click, python3-requests, python3-tqdm, python3-toml, python3-yaml, python3-atomicwrites <!nocheck>, python3-github <!nocheck>
Package-List:
 mathlibtools deb math optional arch=all
Checksums-Sha1:
 bae5467ef95896a006c438c1df898fc9e12c93ac 36686 mathlibtools_1.3.2.orig.tar.gz
 9778ca54164836756b116bb3ba37549b67e37d1e 2808 mathlibtools_1.3.2-1.debian.tar.xz
Checksums-Sha256:
 edf6eb94d73f3c33ebcdffbc2790aaafa423fd06b77974519bbd244b93713310 36686 mathlibtools_1.3.2.orig.tar.gz
 3df22f8a211fb172c460da2fb47fcfd356e5a298f74a6f28b9372eff74319e05 2808 mathlibtools_1.3.2-1.debian.tar.xz
Files:
 672d6fc266ab6e76197436ca776774a7 36686 mathlibtools_1.3.2.orig.tar.gz
 e33eabea4244d369197c98688a0f7652 2808 mathlibtools_1.3.2-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEE3lnVbvHK7ir4q61+p3sXeEcY/EFAmTxIlESHGVhbWFudUBk
ZWJpYW4ub3JnAAoJEPqd7F3hHGPxQFsP/iGJeqj2wXflaAZcSrajRIDGZwQqJ04k
+mAWACq6fNg70DnesAwewLb2Q1pDgm3J1NMbIusdYsaFkHQ8EVu0Jz8w69lreaHI
X8Z+1A/5J7bl7WEGwdEQO4dA2/7HqZimheinR+hrn+wfMavuEX3853kKXvKaT5t5
ihh6wHHN9nue9O+OUvnH3E04T0qR2tecNSWvOSK514HVNk6X7WHjcgg6KA1QNQ0o
imuDqCAheVEXS853vxE9E7CGpXofgyYQ36U7a12lCX366xE1AmktDMnt/JCCHzxd
Fz8TDM6BzmxcqM+nVNBavcsdX24nF2iGIB28h05ZuR37nc52QqH5xLYdyGZ+7XMG
jOGD6rHwB8D40zpiybtFxWe9n5lNhmmWX9GjQ6beRldnJ1FWqL+QEZHJbE8n8ZOU
kxOArXtYP8Uo5j3n/QDK9igj0L+bkNq8xtvX8sZfor8vjnS7Ej0ono7p/RdO5ciV
8KgAXy/DyKqbYD5tNSiubF8jJkHkO6u0HrPzfK+a2ZgaHQRtMHyNdRK+wRge5r7S
VLaAGYKqa2wnwJpHDEDvF/F+T+XbIxvkj7RV+l46zXbXFQnE1PzjcxdBCpP9x+XW
EjJtNOSxSzQDHH42yQpJyZXBn+2i6eT7RJ8paXU4tguUQYCHQlf8ZlWuoWPh1FEY
FBl2U0i+Oh7i
=cPWE
-----END PGP SIGNATURE-----