Your message dated Tue, 04 Aug 2020 15:00:13 +0000 with message-id <e1k2yqh-0002iu...@fasolo.debian.org> and subject line Bug#947405: fixed in metamath-databases 0.0.0~20200715.git5b44899-1 has caused the Debian Bug report #947405, regarding ITP: metamath-databases -- Sample databases for Metamath 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 ow...@bugs.debian.org immediately.) -- 947405: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947405 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: wnpp Severity: wishlist X-Debbugs-CC: debian-de...@lists.debian.org Package name: metamath-databases Version: no versioning scheme used by upstream Upstream Author: Norman Megill and others URL: http://us.metamath.org License: Mostly PD Description: Sample databases for Metamath Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. This package contains a number of Metamath databases developed collectively by people from the Metamath project, including set.mm (Metamath Proof Explorer) and others available at http://us.metamath.org/. You can edit and verify these databases with any tool implementing the Metamath language, including the reference implementation available in the package metamath. Regards, Giovanni. -- Giovanni Mascellani <g.mascell...@gmail.com> Postdoc researcher - Université Libre de Bruxelles
signature.asc
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---Source: metamath-databases Source-Version: 0.0.0~20200715.git5b44899-1 Done: Giovanni Mascellani <g...@debian.org> We believe that the bug you reported is fixed in the latest version of metamath-databases, 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 947...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Giovanni Mascellani <g...@debian.org> (supplier of updated metamath-databases 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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2020 19:23:29 +0200 Source: metamath-databases Binary: metamath-databases Architecture: source all Version: 0.0.0~20200715.git5b44899-1 Distribution: unstable Urgency: medium Maintainer: Giovanni Mascellani <g...@debian.org> Changed-By: Giovanni Mascellani <g...@debian.org> Description: metamath-databases - Sample databases for Metamath Closes: 947405 Changes: metamath-databases (0.0.0~20200715.git5b44899-1) unstable; urgency=medium . * Initial release (closes: #947405). Checksums-Sha1: e1ae24c060fa6e68f84c6f658a21f7c30faf1463 1474 metamath-databases_0.0.0~20200715.git5b44899-1.dsc 1950065beb948bd1c7e0ce38e9c9545e31a6a15d 12101452 metamath-databases_0.0.0~20200715.git5b44899.orig.tar.xz 19f57c0652ca03dc88e9208c4038a2f4c5b95f6d 3092 metamath-databases_0.0.0~20200715.git5b44899-1.debian.tar.xz ecb85f138bb9ccfc75a8c6da3311d10da226154d 12132088 metamath-databases_0.0.0~20200715.git5b44899-1_all.deb 1228187bed1817b25f777fa027f2401372b90b79 7282 metamath-databases_0.0.0~20200715.git5b44899-1_amd64.buildinfo Checksums-Sha256: 18343d3556f295bb993e2cba30339c4925dc701714f3237e4a4dae042de2d5dc 1474 metamath-databases_0.0.0~20200715.git5b44899-1.dsc ab8ac96eb09b56253c476cb81d56993661915f59f7836915bc92b611f973b95f 12101452 metamath-databases_0.0.0~20200715.git5b44899.orig.tar.xz 528a66d03b46ee07aa8c5217e2519e7b45501df54fb4dfa79bb173f388327ea7 3092 metamath-databases_0.0.0~20200715.git5b44899-1.debian.tar.xz 71b185c96ad17a45d8d71169358ea392263368fd3631325aa8d81e8285d1f81b 12132088 metamath-databases_0.0.0~20200715.git5b44899-1_all.deb d5439c6430a11b89a81996cfc6600e37b3394269b591b7ee38b6ffdb69584c98 7282 metamath-databases_0.0.0~20200715.git5b44899-1_amd64.buildinfo Files: a022745801dcc172c4d53aca40224832 1474 math optional metamath-databases_0.0.0~20200715.git5b44899-1.dsc 2b6cd095f91f7e205e8e920669aa0dbb 12101452 math optional metamath-databases_0.0.0~20200715.git5b44899.orig.tar.xz 8c13a474531032ce420aeef14285d0fa 3092 math optional metamath-databases_0.0.0~20200715.git5b44899-1.debian.tar.xz a7fa58c8ae8080e2d2dac426b0449e9d 12132088 math optional metamath-databases_0.0.0~20200715.git5b44899-1_all.deb 801fbac8198396bb2bf532bce0a0b210 7282 math optional metamath-databases_0.0.0~20200715.git5b44899-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCXw879QAKCRCNr8EMz954 SUGDAQD+ooyy3m8nmB8iRl5n0EEu5DEzYYXFaf7TO99e82vHUwD/cgrbB5N5sL+j eRmXbMEsmsQAhcqNAaLw3sVEKncMYAQ= =ysGa -----END PGP SIGNATURE-----
--- End Message ---
