Path: csiph.com!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!bofh.it!news.nic.it!robomod From: Debian FTP Masters Newsgroups: linux.debian.maint.python Subject: mathlibtools_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable Date: Mon, 23 Aug 2021 14:20:02 +0200 Message-ID: X-Mailbox-Line: From debian-python-request@lists.debian.org Mon Aug 23 12:18:09 2021 Old-Return-Path: X-Amavis-Spam-Status: No, score=-6.28 tagged_above=-10000 required=5.3 tests=[AUTOGENERATE=3, BAYES_00=-2, DIGITS_LETTERS=1, FVGT_m_MULTI_ODD=0.02, MD5_SHA1_SUM=-1, PGPSIGNATURE=-5, RCVD_IN_DNSWL_MED=-2.3] autolearn=ham autolearn_force=no X-Dak: dak process-policy X-Debian: DAK X-Debian-Package: mathlibtools Auto-Submitted: auto-generated MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit X-Mailing-List: archive/latest/19271 List-ID: List-URL: List-Archive: https://lists.debian.org/msgid-search/E1mI8ca-000F91-Lh@fasolo.debian.org Approved: robomod@news.nic.it Lines: 78 Organization: linux.* mail to news gateway Sender: robomod@news.nic.it X-Original-Date: Mon, 23 Aug 2021 12:00:08 +0000 X-Original-Message-ID: Xref: csiph.com linux.debian.maint.python:13479 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 Changed-By: Christopher Hoskin 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.