Bug#991923: marked as done (ITP: mathlibtools -- supporting tool for Lean mathlib)
Your message dated Mon, 23 Aug 2021 12:00:08 +0000
with message-id <E1mI8ca-000F99-N7@fasolo.debian.org>
and subject line Bug#991923: fixed in mathlibtools 1.0.0-1
has caused the Debian Bug report #991923,
regarding ITP: mathlibtools -- supporting tool for Lean mathlib
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
991923: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991923
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Christopher Hoskin <mans0954@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org
* Package name : mathlibtools
Version : 1.0.0
Upstream Author : Leanprover Community https://leanprover.zulipchat.com/
* URL : https://github.com/leanprover-community/mathlib-tools
* License : Apache-2.0
Programming Lang: Python
Description : supporting tool for Lean mathlib
This package contains leanproject, a supporting tool for Lean mathlib. In
conjunction with elan [1] it allows a user to create, build, update and
otherwise manage projects using the Lean 3 theorem prover and the mathlib
library of mathematics and tactics.
I plan to maintain it within the python team of which I am a member. I do not
require a sponsor.
Christopher Hoskin
[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991801
--- End Message ---
--- Begin Message ---
Source: mathlibtools
Source-Version: 1.0.0-1
Done: Christopher Hoskin <mans0954@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathlibtools, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 991923@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Christopher Hoskin <mans0954@debian.org> (supplier of updated mathlibtools package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----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-----
--- End Message ---
Reply to: