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

Bug#947404: marked as done (ITP: metamath -- Language for mathematical proofs)

Your message dated Thu, 02 Jan 2020 19:00:28 +0000
with message-id <E1in5hs-000Gew-1T@fasolo.debian.org>
and subject line Bug#947404: fixed in metamath 0.180-1
has caused the Debian Bug report #947404,
regarding ITP: metamath -- Language for mathematical proofs
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.)


-- 
947404: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947404
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
        Version: 0.180
Upstream Author: Norman Megill and others
            URL: http://us.metamath.org
        License: GPL-2+
    Description: Language for mathematical proofs

Metamath is a tiny language for expressing theorems in abstract
mathematics, accompanied by proofs that can be verified by a computer
program.

This program is the reference implementation of the language. It
provides a proof checker, a proof editor and tools to automatically
render theorems and proofs to HTML and LaTeX files.

This package does not contain proof databases, but the tools to deal
with them. The user can create their own databases, use those available
on the Internet or provided by the metamath-databases package.

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
Source-Version: 0.180-1

We believe that the bug you reported is fixed in the latest version of
metamath, 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 947404@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 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: Sat, 28 Dec 2019 08:09:58 +0100
Source: metamath
Binary: metamath metamath-dbgsym
Architecture: source amd64
Version: 0.180-1
Distribution: unstable
Urgency: medium
Maintainer: Giovanni Mascellani <gio@debian.org>
Changed-By: Giovanni Mascellani <gio@debian.org>
Description:
 metamath   - Language for mathematical proofs
Closes: 947404
Changes:
 metamath (0.180-1) unstable; urgency=medium
 .
   * Initial release (closes: #947404).
Checksums-Sha1:
 dca286f34e2400b8facaea4284a7fe59460a74e4 1208 metamath_0.180-1.dsc
 984473da5952ef79bb53f97b7fdfb1525f013159 444814 metamath_0.180.orig.tar.gz
 49d36e216ff4e8947e673a7d76ae7541a1977839 2088 metamath_0.180-1.debian.tar.xz
 18a3e86fcd40bc7a8c53ebc46c1b94d7923bc739 462296 metamath-dbgsym_0.180-1_amd64.deb
 2eee2d4bba2b3e04a8ce82293f93c2d3cb48a294 5175 metamath_0.180-1_amd64.buildinfo
 e9286b53555979cfb702915928126291cea879fa 331180 metamath_0.180-1_amd64.deb
Checksums-Sha256:
 fa10e05ceb74962d1bc79c8f8f28af6b3871207bb34f656f0a6db1bbfb378e1f 1208 metamath_0.180-1.dsc
 88f115f9236c38d5c90f2f0856485eeb020c1600381277613bfc486cf851d660 444814 metamath_0.180.orig.tar.gz
 d61e871650b24b6355f92b5dd33e9b1a513b8e7da3833799646ecdd43784044a 2088 metamath_0.180-1.debian.tar.xz
 f7b880220400277b3fea30137bcd129e8bd121e827db14aa9ef2347fc1d96834 462296 metamath-dbgsym_0.180-1_amd64.deb
 8d7526d8804f0e2d7015d2b3d9f518cd688b9e8cae832d6e3ad6ffd324da7803 5175 metamath_0.180-1_amd64.buildinfo
 432a5249f12c92e97ac4ebad0a4fbd16d36f8d3a863752c06467ee6bf5d6682c 331180 metamath_0.180-1_amd64.deb
Files:
 3605029f7f3d1ee9b96d70798ddafc00 1208 math optional metamath_0.180-1.dsc
 1a71dd27349ecdbf8a4633c5847db3e5 444814 math optional metamath_0.180.orig.tar.gz
 841dde1f8b3bfe6affebe8a6afa18f27 2088 math optional metamath_0.180-1.debian.tar.xz
 9757288daea5a10e50023401f7ee6c22 462296 debug optional metamath-dbgsym_0.180-1_amd64.deb
 223c7b6527f02095a6503ca72fd1fea7 5175 math optional metamath_0.180-1_amd64.buildinfo
 831f0a670828178c735db4232cf405ca 331180 math optional metamath_0.180-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCXgcIrQAKCRCNr8EMz954
STWuAP900nac0nyxGpkBE8YRRWDvmmItkLtDvzxTNbvlBKEmKwEAy3D9ypCGu2kg
35uqYDMMEUXSRJiUHwcCkmgXx8TxVQ0=
=yPuX
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: