[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#947405: marked as done (ITP: metamath-databases -- Sample databases for Metamath)

Your message dated Tue, 04 Aug 2020 15:00:13 +0000
with message-id <E1k2yQH-0002iU-Eu@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 owner@bugs.debian.org
immediately.)


-- 
947405: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947405
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@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.mascellani@gmail.com>
Postdoc researcher - Université Libre de Bruxelles

Attachment: signature.asc
Description: OpenPGP digital signature


--- End Message ---
--- Begin Message --- 
Source: metamath-databases
Source-Version: 0.0.0~20200715.git5b44899-1
Done: Giovanni Mascellani <gio@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 947405@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Giovanni Mascellani <gio@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 ftpmaster@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 <gio@debian.org>
Changed-By: Giovanni Mascellani <gio@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 ---
Reply to: