Accepted:
-----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-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)