Your message dated Sun, 25 Nov 2007 16:02:03 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#451896: fixed in matita 0.4.98-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: matita
Version: 0.4.97-1
Severity: serious
There was an error while trying to autobuild your package:
> Automatic build of matita_0.4.97-1 on debian-31.osdl.marist.edu by
> sbuild/s390 98
[...]
> OCAMLC utf8MacroTable.ml
> OCAMLC utf8Macro.mli
> OCAMLC utf8Macro.ml
> OCAMLC -a utf8_macros.cma
> OCAMLC pa_unicode_macro.ml
> File "pa_unicode_macro.ml", line 54, characters 8-203:
> This expression has type (MLast.expr, 'a) Pa_extend.symbol
> but is here used with type (MLast.expr, MLast.patt) Pa_extend.a_symbol
> make[4]: *** [pa_unicode_macro.cmo] Error 2
> make[4]: Leaving directory
> `/build/buildd/matita-0.4.97/components/syntax_extensions'
> make[3]: *** [syntax-extensions] Error 2
> make[3]: Leaving directory `/build/buildd/matita-0.4.97/components'
> make[2]: *** [EMAIL PROTECTED]@components] Error 2
> make[2]: Leaving directory `/build/buildd/matita-0.4.97'
> make[1]: *** [depend-stamp] Error 2
> make[1]: Leaving directory `/build/buildd/matita-0.4.97'
> make: *** [debian/stamp-makefile-build] Error 2
> dpkg-buildpackage: failure: debian/rules build gave error exit status 2
> ******************************************************************************
> Build finished at 20071118-1300
> FAILED [dpkg-buildpackage died]
--- End Message ---
--- Begin Message ---
Source: matita
Source-Version: 0.4.98-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.98-1_all.deb
to pool/main/m/matita/matita-standard-library_0.4.98-1_all.deb
matita_0.4.98-1.diff.gz
to pool/main/m/matita/matita_0.4.98-1.diff.gz
matita_0.4.98-1.dsc
to pool/main/m/matita/matita_0.4.98-1.dsc
matita_0.4.98-1_amd64.deb
to pool/main/m/matita/matita_0.4.98-1_amd64.deb
matita_0.4.98.orig.tar.gz
to pool/main/m/matita/matita_0.4.98.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 [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Enrico Tassi <[EMAIL PROTECTED]> (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 [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 20 Nov 2007 13:47:26 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL PROTECTED]>
Description:
matita - interactive theorem prover
matita-standard-library - standard library for the Matita interactive theorem
prover
Closes: 451896
Changes:
matita (0.4.98-1) unstable; urgency=low
.
[ Stefano Zacchiroli ]
* fix Vcs-* fields to match pkg-ocaml-maint repository settings
.
[ Enrico Tassi ]
* Fixed dependencies among camlp5, ulex08 and findlib (Closes: #451896)
Files:
393eedc04c4faf6b3f36dae1d20fb622 1095 math optional matita_0.4.98-1.dsc
ef7449f06efc67d48ccbddbf55817ac3 1862669 math optional
matita_0.4.98.orig.tar.gz
a669a70e80b7e4d3704d5a7902223450 3216 math optional matita_0.4.98-1.diff.gz
7d82482c181f8b03c545f8fe0ae4d44d 12513106 math optional
matita-standard-library_0.4.98-1_all.deb
48540b32bc7576625b976fcc77817a78 3586298 math optional
matita_0.4.98-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHSZm27kkcPgEj8vIRAsb/AKCbj+QPjueC4LidqkF4R/qmSaFL6ACdGbZ+
iMyb9U5BPLfliCFX5L50Kv4=
=DYIU
-----END PGP SIGNATURE-----
--- End Message ---
