-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 06 Aug 2021 08:05:31 +0100 Source: mathlibtools Binary: mathlibtools Architecture: source all Version: 1.0.0-1 Distribution: unstable Urgency: low Maintainer: Debian Python Team <debian-python@lists.debian.org> Changed-By: Christopher Hoskin <mans0954@debian.org> Description: mathlibtools - supporting tool for Lean mathlib Closes: 991923 Changes: mathlibtools (1.0.0-1) unstable; urgency=low . * source package automatically created by stdeb 0.10.0 * Add copyright * Set DEP-14 debian branch in gbp.conf * Update watch * Bump debhelper compat from 9 to 13 * Add descriptions to control * Change section to math, rename as executable package * Remove white space from rules * Declare Rules-Requires-Root: no * Add upstream metadata * Bump Standards-Version from 3.9.6 to 4.5.1 (no change required) * Add elan as a Recommends * Add mathlibtools.egg-info to clean * Add VCS to control * Set Maintainer to python team * Initial release. (Closes: #991923: ITP: mathlibtools -- supporting tool for Lean mathlib) Checksums-Sha1: 4d64e4e926855f4471570c52fff0f35d9b1635e2 2023 mathlibtools_1.0.0-1.dsc c31b530e9123aa1d9f148453db445c91f90daefb 24840 mathlibtools_1.0.0.orig.tar.gz 4873dd9c58640da60c16df41918a6ad2501080ff 2088 mathlibtools_1.0.0-1.debian.tar.xz d9f58e083b6277a50a0190532d39fb968bf907fc 17636 mathlibtools_1.0.0-1_all.deb 986a352345a42dc366815032d8955de05bed6b3c 6306 mathlibtools_1.0.0-1_amd64.buildinfo Checksums-Sha256: 9a8362411e6f582207c74fa9d38f2753b29e0257da58a23c560f12d9af9fa4dc 2023 mathlibtools_1.0.0-1.dsc 4280d331cdafa7899aa79b3312d2f3521f911e3b952cb509e259fced8d712481 24840 mathlibtools_1.0.0.orig.tar.gz ac37db71becd470f3ed2ccc1bbc9fd18cc8eef35c2ddb7d14a1458b6f8744f78 2088 mathlibtools_1.0.0-1.debian.tar.xz 2aedc06dae97f6e01633facd0dd8724e65c05fa48e281a0ea7431cfc26f9baf0 17636 mathlibtools_1.0.0-1_all.deb 616a87492e5d2d987f9dace852a5d79f230b143387d42c92b8d91a813157ae06 6306 mathlibtools_1.0.0-1_amd64.buildinfo Files: 25fcb4aa28881ec62c455b20e62a67ac 2023 math optional mathlibtools_1.0.0-1.dsc 2e543ab49b4135667ce37f6f4405c201 24840 math optional mathlibtools_1.0.0.orig.tar.gz 20a6d8949a1692aea202219fe6bff5a8 2088 math optional mathlibtools_1.0.0-1.debian.tar.xz b0b3d958a5fe9ef45aca9f4026470675 17636 math optional mathlibtools_1.0.0-1_all.deb 56b5be13e7d98a7aea2ef48e8ca5daeb 6306 math optional mathlibtools_1.0.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmEM37gACgkQf6qUsnUU Spriig/+Ncelh1Mi7QlaoCEpMMpP0oDfYxz7BAGdYmmQnljw3oyCwdAaQtAKl5dC G1l+WsripbYU4kpNePFZdCuWlQ8HvGDJp2w5ldeOko5ds/qDujgotRC6aZiLWXGB a4uv2td6cD2P8IoCv4JVllBIuTU3FS963s7+u1Gk2XNNnQbJSPShcB/8u2//FDhz QKzuTAK5E5tMidLkjVE4ebNoTtKWKDEZm+d5F06291nt9nrONL8KAAedelC37rM0 DXn9rIklqtl8aVU0HrL3wqa3LgE0Ffu67owRkAgYVX7FFTu0s7J9VhasyvoNrKVG 1+AbUNyKC0/PQsKKiNJpCdbBd+SEwjMybAXG4YHP53a4Psbnt2DYmmjMaW1CPJyA DZvMxQHcouoPJP0IoDIH2UinOR8BffSKmDeBMI/wpxZPzh+Am+N/kpZuuzeRlryV e1nHpTUqo2j7mhsW14KvbABnbSIBfs9uF6VchlJHe/+p08BwCpO1rR7flhuchSY7 JuWzQoD35L1L2EwD7L9vpAiOmG89kXOO9vu4UnPrcKRo+gktN6Bwd6kSjD6MufOe ZxAGhMyWt+62xVNRke+CRNqf4QQgMtCcBe2aJivvud78fnoYyHsVYhBqwzzptqM9 8utkDug41Nb1nQNlfC/aS7UinltTjJc61HmRqjJENLI3sbJ6RLw= =G2Ue -----END PGP SIGNATURE-----
