mathlibtools_1.1.0-1.dsc
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathlibtools
Binary: mathlibtools
Architecture: all
Version: 1.1.0-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.0.1
Vcs-Browser: https://salsa.debian.org/python-team/packages/mathlibtools
Vcs-Git: https://salsa.debian.org/python-team/packages/mathlibtools.git
Build-Depends: dh-python, python3-setuptools, python3-all, debhelper-compat (= 13)
Package-List:
 mathlibtools deb math optional arch=all
Checksums-Sha1:
 9a824e015d92607979255c588ede2346d1e67fda 32374 mathlibtools_1.1.0.orig.tar.gz
 f5722edc5b6e462250cfd09cc46b5786f1411cf6 2212 mathlibtools_1.1.0-1.debian.tar.xz
Checksums-Sha256:
 f2481b4545fdad08780248db0fe1c879e3788c000eda014433338228255e76ad 32374 mathlibtools_1.1.0.orig.tar.gz
 eab16db5c25fb8c58c754018584f214016979c26bc1dbf0a750ba61742777a2a 2212 mathlibtools_1.1.0-1.debian.tar.xz
Files:
 a02c877b6dceb533c2eb3a6b54b08834 32374 mathlibtools_1.1.0.orig.tar.gz
 2474f31b10db37fc0c65c127bce46806 2212 mathlibtools_1.1.0-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmFHlR8ACgkQf6qUsnUU
SprOCA/+KasZ6OqPxTzTZ/fAc3qWPmoxeVtyyZlqB5gwCbY/XuGKh0v4gVpn3N5R
GvZe0KxsOj4xUf9H+8D9lR+wy0iEYGKSzSDA1KoYm+irKqnQHGAdIKypcojRsE/o
K0OhXwdBBmBMeUYCM87eBAeu18yef/bUQ00+vzgPoa2iuQkXHCpRIDm4App44/Ro
cN3bPOZn1M3FxkEWF9U2tKmDvKatLlpVny9YWbga100sYIrwV0v/rbkgn08wHeK8
pwlJbPbX5o4bZiK763Q0PmSyTA/EULeVKvXq3W5/N9YlPJKMsp6dIUO4it6W3v/J
uhewRQyWeGDZuV5uLplFc32PJZEfuOJoM2xrvt1ioFPtwvPVudTZi5E1ml+E1UZf
oTmUHWvvVMyPKyeNi8F7e38nP8Q5i0TQtvmFgWIBwZsyl0diGaNbaCQd/k8MopSO
txfEg4CRWDW/SRTdOF9yMZUuH37j2sh+NOtf4JQR4fHU1jHjSvwkFw4zTXHPGpf3
zTdImyfpaAGZgAB0PgZpuWpAtahtIxQHnycMtr3RokSVZaugOLt4DHhF7wkuawb5
8uKKxEUsNkAyjLQbgCUIlNhXxZnlIbfiEZWJHlDXI2Y+/YhBtiyDoEPd0BrZ6mfH
NzkR/2H8nOPX9WdhiC6cn9b2VBiL2R8C8mL3mbY8nzUmhHy4HEs=
=FsOk
-----END PGP SIGNATURE-----
source package System - - 6 months, 1 week ago 5 months, 2 weeks
BETA