Bug#448156: marked as done (ITP: matita -- interactive theorem prover)
Your message dated Sat, 17 Nov 2007 13:22:48 +0000
with message-id <E1ItNdI-0006I1-7I@ries.debian.org>
and subject line Bug#448156: fixed in matita 0.4.96-1
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org
--- Please fill out the fields below. ---
Package name: matita
Version: 0.4.0
Upstream Author: helm team
URL: http://matita.cs.unibo.it
License: GPL
Description:
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.
.
Matita adopts XML-encoded proof objects are produced for storage and exchange.
This makes it compatible, at some extent, with Coq.
.
The graphical interface has been inspired by CtCoq and Proof General. It
supports high quality bidimensional rendering of proofs and formulae
transformed on-the-fly to MathML markup
--
Enrico Tassi
--- End Message ---
--- Begin Message ---
Source: matita
Source-Version: 0.4.96-1
We believe that the bug you reported is fixed in the latest version of
matita, which is due to be installed in the Debian FTP archive:
matita-standard-library_0.4.96-1_all.deb
to pool/main/m/matita/matita-standard-library_0.4.96-1_all.deb
matita_0.4.96-1.diff.gz
to pool/main/m/matita/matita_0.4.96-1.diff.gz
matita_0.4.96-1.dsc
to pool/main/m/matita/matita_0.4.96-1.dsc
matita_0.4.96-1_amd64.deb
to pool/main/m/matita/matita_0.4.96-1_amd64.deb
matita_0.4.96.orig.tar.gz
to pool/main/m/matita/matita_0.4.96.orig.tar.gz
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 448156@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Enrico Tassi <gareuselesinge@debian.org> (supplier of updated matita 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@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 26 Oct 2007 11:25:03 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.96-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <gareuselesinge@debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description:
matita - interactive theorem prover
matita-standard-library - standard library for the Matita interactive theorem prover
Closes: 448156
Changes:
matita (0.4.96-1) unstable; urgency=low
.
* First upload of svn tag 0.4.96 (Closes: #448156).
Files:
6dbc296af817483553bfb7d7b4f30bc9 1146 math optional matita_0.4.96-1.dsc
6d0cbedadb26ae8cfac346610b6d6527 2809657 math optional matita_0.4.96.orig.tar.gz
0a29298aafabd2d882d9b900807c9b26 3038 math optional matita_0.4.96-1.diff.gz
2eccb3ea228a6eceb30e80be8bf7c8ff 11719412 math optional matita-standard-library_0.4.96-1_all.deb
e0eb2a85f8083403582167db3ef49ce8 3574696 math optional matita_0.4.96-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHPYdO7kkcPgEj8vIRAqKbAKCpwMadEcbZ61r8IY+bZxsbFOGwvACfQjqV
vKKzJAZ0kEKVEgSjqTv2eIs=
=vRbN
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: