-----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-----
