Your message dated Tue, 19 Dec 2006 18:47:09 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#403572: fixed in proofgeneral 3.5-4.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: proofgeneral
Version: 3.5-4
Severity: serious
There was an error while trying to autobuild your package:
> Automatic build of proofgeneral_3.5-4 on caballero by sbuild/ia64 98
> Build started at 20061218-0316
[...]
> ** Using build dependencies supplied by package:
> Build-Depends-Indep: debhelper (>= 4.1.16), mzscheme
[...]
> dh_clean: Compatibility levels before 4 are deprecated.
> rm -f debian/*~ debian/#*#
> rm -f minlog/*.o minlog/*.so
> debian/rules build
> dh_testdir
> make scripts
> make[1]: Entering directory `/build/buildd/proofgeneral-3.5'
> make[1]: Leaving directory `/build/buildd/proofgeneral-3.5'
> (cd minlog; make)
> make[1]: Entering directory `/build/buildd/proofgeneral-3.5/minlog'
> mzc --cc mzfork.c
> make[1]: mzc: Command not found
> make[1]: *** [mzfork.o] Error 127
> make[1]: Leaving directory `/build/buildd/proofgeneral-3.5/minlog'
> make: *** [build-stamp] Error 2
A full build log can be found at:
http://buildd.debian.org/build.php?arch=ia64&pkg=proofgeneral&ver=3.5-4
Build dependencies need to be specified in Build-Depends, unless all of the
binaries delivered are Architecture: all (in which case the buildds
won't try to build it.)
lamont
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 3.5-4.1
We believe that the bug you reported is fixed in the latest version of
proofgeneral, which is due to be installed in the Debian FTP archive:
proofgeneral-coq_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.5-4.1_all.deb
proofgeneral-doc_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.5-4.1_all.deb
proofgeneral-minlog_3.5-4.1_i386.deb
to pool/main/p/proofgeneral/proofgeneral-minlog_3.5-4.1_i386.deb
proofgeneral-misc_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.5-4.1_all.deb
proofgeneral_3.5-4.1.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.5-4.1.diff.gz
proofgeneral_3.5-4.1.dsc
to pool/main/p/proofgeneral/proofgeneral_3.5-4.1.dsc
proofgeneral_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.5-4.1_all.deb
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.
Christian Perrier <[EMAIL PROTECTED]> (supplier of updated proofgeneral 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, 19 Dec 2006 08:27:28 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-doc
proofgeneral-misc
Architecture: source all i386
Version: 3.5-4.1
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <[EMAIL PROTECTED]>
Changed-By: Christian Perrier <[EMAIL PROTECTED]>
Description:
proofgeneral - A generic interface for proof assistants
proofgeneral-coq - ProofGeneral support for coq
proofgeneral-doc - Documentation for ProofGeneral in html format
proofgeneral-minlog - ProofGeneral support for Minlog
proofgeneral-misc - ProofGeneral support for different theorem provers
Closes: 403572
Changes:
proofgeneral (3.5-4.1) unstable; urgency=low
.
* Non-maintainer upload to fix an RC bug
* Move debhelper and mzscheme to Build-Depends. Closes: 403572
Lintian warnings are things that should be taken seriously.
* Lintian fixes:
- Remove useless CVS directory minlog/CVS
- Use 4 as debhelper compatibility (through debian/compat)
Files:
41fab1a37fa52c7cc2c402f5d7fe6312 675 editors optional proofgeneral_3.5-4.1.dsc
e3a5a0bc1169725bca18f6066c154bab 20067 editors optional
proofgeneral_3.5-4.1.diff.gz
30aab36e477ddba9de0f44798cd56c92 421216 editors optional
proofgeneral_3.5-4.1_all.deb
2de3ba753a93cc8e9d4739cf0981754a 44672 editors optional
proofgeneral-coq_3.5-4.1_all.deb
25cc1436a24f541c90d2053ca47c4e53 150294 editors optional
proofgeneral-misc_3.5-4.1_all.deb
4ea53c95c39b853e160eefae4035212c 121478 editors optional
proofgeneral-doc_3.5-4.1_all.deb
d7bdfe3cebe4ee53c6a6457f5a570ae1 16996 editors optional
proofgeneral-minlog_3.5-4.1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFFiC561OXtrMAUPS0RAr7nAKCBRNl8GjHd49hLnYo9lguL9Ez1hQCdHiKs
AdGyqZXMCj/3wQBPMCzKZak=
=sfTp
-----END PGP SIGNATURE-----
--- End Message ---
