Accepted mathlibtools 1.0.0-2 (source all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 10 Aug 2021 20:59:21 +0100
Source: mathlibtools
Binary: mathlibtools
Architecture: source all
Version: 1.0.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Changed-By: Christopher Hoskin <mans0954@debian.org>
Description:
mathlibtools - supporting tool for Lean mathlib
Changes:
mathlibtools (1.0.0-2) unstable; urgency=medium
.
* Correct form for python-team Maintainer
Checksums-Sha1:
cbe4da8ff49e608749eeeebcee1fd9d3a2ba7724 2023 mathlibtools_1.0.0-2.dsc
02c4fd7958c8ec94ddcc1ef319ee9a35ac5a0014 2128 mathlibtools_1.0.0-2.debian.tar.xz
a8f8d85b455f8da35ce0142ca76e985b2dfa6283 17708 mathlibtools_1.0.0-2_all.deb
abb34218f86e1652183a510d763c0ab11c732e24 6306 mathlibtools_1.0.0-2_amd64.buildinfo
Checksums-Sha256:
295275f0bd5a91e35ebb0647adabe09e1a3135b35c7d1b8e1596b54acd4c9dd1 2023 mathlibtools_1.0.0-2.dsc
6ec6f37f6c57c11b2e5f96891cf661583744ab607c41236339fe1316eea2e1e3 2128 mathlibtools_1.0.0-2.debian.tar.xz
f0b9ba9a7b1d75a97f65f8d48364c4ba17aaf7ebdddddb779957f835b3571823 17708 mathlibtools_1.0.0-2_all.deb
76a0c509e5b3076b2de2594b6ed788f2619945491d699a1581c54ba30c2a1f0e 6306 mathlibtools_1.0.0-2_amd64.buildinfo
Files:
a0408712ca9bc4a509fd2e7d5f5668b6 2023 math optional mathlibtools_1.0.0-2.dsc
c8946c11845ecfb4978e503fa361bc41 2128 math optional mathlibtools_1.0.0-2.debian.tar.xz
4bb818f8d3784c565b03f0378bb31eba 17708 math optional mathlibtools_1.0.0-2_all.deb
5d82c292aba253e4d84255298fa56790 6306 math optional mathlibtools_1.0.0-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmES20wACgkQf6qUsnUU
SpqLoxAApMAKKeln36dv9LPtCm11POPRh9K2/piCF/ajo7mmrAdZwqT5+oeg0biN
PWnafy4YNSjBt38miQl/XlcB0xKj6vcHXcVAKob8/zsAm29n4SWgYhjOiLA6YOOo
Up1wZtotjBGKXKejvzQugnywzEVtblims3N8ecPdXA8OPCNqB6kHUZiVVid9Jlsr
3rN3wlJAAVPLam2h3QDeyaZthpDEC2E64hxYgLKLhq4gSygSZ+ihWdgKbW/86hUk
Lj5EElhPWPxBIMxz7LcOjxE87okR4NW1Vp9SnaeWwZ2jz7rlrcH3Y2TRLX634slU
c6JQ1TH0BL94hWiEDxjeQprNQ6o0nRYOiDYDShC9enJ6QMA7rudDjb1Gt3PahoFC
+vaqhp9HDI1U3QM4POS+O8ObOqQHA6fhbPd9M8RWtzfkQgZtHuOkoOqebF1SrGkr
2u7GK8Ijsdpwzk9SP790qUC6JGiyd7a6vZkjhMVIRn4Pcc4eb9poiPONKPmBRRF6
XR6gmH2qIZlhAElM6m1TZxKt06Et6arlm0IDqBeW1EkbzxKpNLOHM2IfFb2NRKAd
0KLk+S24+XNLDjozcfUOppBE3l04Dgg0TLCSdYMk+V5iUBiy2i9QyPA6Oc6SYNoa
wHC+AeF/H9a83xEeFfdZOhTjw2r4TCPXf2NXkR2JBBYKIE5T7zY=
=72Ts
-----END PGP SIGNATURE-----
Reply to: