Your message dated Mon, 03 Dec 2007 14:32:06 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#448843: fixed in hol88 2.02.19940316-7
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: hol88
Version: 2.02.19940316-6
Severity: grave
Justification: renders package unusable
The package is missing the actual binaries under /usr/lib/ on arm.
Looking at the build log, loading compiled object files during the build
fails with 'Error: Unknown bfd format'.
This is presumably a bug in the toolchain, but please make the build
fail on compiler errors so that this can be detected automatically.
Cheers,
--
Niko Tyni [EMAIL PROTECTED]
--- End Message ---
--- Begin Message ---
Source: hol88
Source-Version: 2.02.19940316-7
We believe that the bug you reported is fixed in the latest version of
hol88, which is due to be installed in the Debian FTP archive:
hol88-contrib-help_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-7_all.deb
hol88-contrib-source_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-7_all.deb
hol88-doc_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-doc_2.02.19940316-7_all.deb
hol88-help_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-help_2.02.19940316-7_all.deb
hol88-library-help_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-library-help_2.02.19940316-7_all.deb
hol88-library-source_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-library-source_2.02.19940316-7_all.deb
hol88-library_2.02.19940316-7_i386.deb
to pool/main/h/hol88/hol88-library_2.02.19940316-7_i386.deb
hol88-source_2.02.19940316-7_all.deb
to pool/main/h/hol88/hol88-source_2.02.19940316-7_all.deb
hol88_2.02.19940316-7.diff.gz
to pool/main/h/hol88/hol88_2.02.19940316-7.diff.gz
hol88_2.02.19940316-7.dsc
to pool/main/h/hol88/hol88_2.02.19940316-7.dsc
hol88_2.02.19940316-7_i386.deb
to pool/main/h/hol88/hol88_2.02.19940316-7_i386.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.
Camm Maguire <[EMAIL PROTECTED]> (supplier of updated hol88 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: Mon, 03 Dec 2007 09:18:22 -0500
Source: hol88
Binary: hol88-library-help hol88-doc hol88-contrib-help hol88-help
hol88-library hol88-library-source hol88 hol88-source hol88-contrib-source
Architecture: source all i386
Version: 2.02.19940316-7
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <[EMAIL PROTECTED]>
Changed-By: Camm Maguire <[EMAIL PROTECTED]>
Description:
hol88 - Higher Order Logic, system image
hol88-contrib-help - Higher Order Logic, user contributed online help files
hol88-contrib-source - Higher Order Logic, user contributed source
hol88-doc - Documentation for hol88
hol88-help - Higher Order Logic, online help files
hol88-library - Higher Order Logic, binary library modules
hol88-library-help - Higher Order Logic, library online help files
hol88-library-source - Higher Order Logic, library source files
hol88-source - Higher Order Logic, source files
Closes: 448843
Changes:
hol88 (2.02.19940316-7) unstable; urgency=low
.
* Bug fix: "hol88: empty package on arm", thanks to Niko Tyni (Closes:
#448843). Rebuild against latest gcl
Files:
88ee4076e0f05edb81f228c396bf5a14 841 math optional hol88_2.02.19940316-7.dsc
383a5819fb5df69c57d54c1f09965796 19094 math optional
hol88_2.02.19940316-7.diff.gz
cc9534c13ff04dd5c5a45b3362b1a4f6 9731022 math optional
hol88_2.02.19940316-7_i386.deb
1c402c9a91c27f75c6a42c82bd2eace3 1209264 math optional
hol88-library_2.02.19940316-7_i386.deb
c65edf7e80f497842879a71c02a481ca 274514 math optional
hol88-source_2.02.19940316-7_all.deb
1829e8106e0e17c66153b530fe8e6257 288196 math optional
hol88-help_2.02.19940316-7_all.deb
a67bc1b7228f83d151be67198d26e89b 563138 math optional
hol88-library-source_2.02.19940316-7_all.deb
e201658e085184a0be1556183f6b8893 291508 math optional
hol88-library-help_2.02.19940316-7_all.deb
31f80ecc921a1f4b277a2ede4a6f1aa9 976704 math optional
hol88-contrib-source_2.02.19940316-7_all.deb
80f54779972cfcfd72392b9236c3d182 26400 math optional
hol88-contrib-help_2.02.19940316-7_all.deb
8c4f8e544112c259d8bc677c1b89460b 1019632 math optional
hol88-doc_2.02.19940316-7_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHVBHBczG1wFfwRdwRAuMVAKCfl66rBES7qOP/kqLbyCk1tLH8BgCguYoC
qNnzvZT0WxInYCC9FK7ZEt8=
=dNmG
-----END PGP SIGNATURE-----
--- End Message ---
