Your message dated Thu, 21 Oct 2010 15:19:03 +0000
with message-id <e1p8wv1-0000ci...@franck.debian.org>
and subject line Bug#597140: fixed in hol88 2.02.19940316-11
has caused the Debian Bug report #597140,
regarding hol88-library: [mips] empty package
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 ow...@bugs.debian.org
immediately.)
--
597140: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=597140
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: hol88-library
Version: 2.02.19940316-9
Severity: grave
User: debian-m...@lists.debian.org
Usertags: mips
Justification: renders package unusable (on mips)
hol88-library is virtually empty on mips:
$ dpkg -c hol88-library_2.02.19940316-9_mips.deb | grep -v /$
-rw-r--r-- root/root 987 2010-01-04 03:45
./usr/share/doc/hol88-library/changelog.Debian.gz
-rw-r--r-- root/root 1124 2010-01-04 03:45
./usr/share/doc/hol88-library/copyright
--
Jakub Wilk
signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
Source: hol88
Source-Version: 2.02.19940316-11
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-11_all.deb
to main/h/hol88/hol88-contrib-help_2.02.19940316-11_all.deb
hol88-contrib-source_2.02.19940316-11_all.deb
to main/h/hol88/hol88-contrib-source_2.02.19940316-11_all.deb
hol88-doc_2.02.19940316-11_all.deb
to main/h/hol88/hol88-doc_2.02.19940316-11_all.deb
hol88-help_2.02.19940316-11_all.deb
to main/h/hol88/hol88-help_2.02.19940316-11_all.deb
hol88-library-help_2.02.19940316-11_all.deb
to main/h/hol88/hol88-library-help_2.02.19940316-11_all.deb
hol88-library-source_2.02.19940316-11_all.deb
to main/h/hol88/hol88-library-source_2.02.19940316-11_all.deb
hol88-library_2.02.19940316-11_i386.deb
to main/h/hol88/hol88-library_2.02.19940316-11_i386.deb
hol88-source_2.02.19940316-11_all.deb
to main/h/hol88/hol88-source_2.02.19940316-11_all.deb
hol88_2.02.19940316-11.diff.gz
to main/h/hol88/hol88_2.02.19940316-11.diff.gz
hol88_2.02.19940316-11.dsc
to main/h/hol88/hol88_2.02.19940316-11.dsc
hol88_2.02.19940316-11_i386.deb
to main/h/hol88/hol88_2.02.19940316-11_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 597...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 21 Oct 2010 14:34:13 +0000
Source: hol88
Binary: hol88 hol88-source hol88-help hol88-library hol88-library-source
hol88-library-help hol88-contrib-source hol88-contrib-help hol88-doc
Architecture: source i386 all
Version: 2.02.19940316-11
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
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: 597140 599986 599987
Changes:
hol88 (2.02.19940316-11) unstable; urgency=low
.
* build-dep on latest gcl
* Bug fix: "[mips] empty package", thanks to Jakub Wilk (Closes:
#597140).
* Bug fix: "FTBFS on mipsel: Unrecoverable error: Segmentation
violation..", thanks to Cyril Brulebois (Closes: #599986).
* Bug fix: "FTBFS on hppa: /bin/sh: ././raw_hol_map: Permission denied",
thanks to Cyril Brulebois (Closes: #599987).
Checksums-Sha1:
4b0ffa4ea7d1793685489b99f592c4bb5b956366 1242 hol88_2.02.19940316-11.dsc
4af1333d78cd3ae6945a4a926e0121468de97a13 641083 hol88_2.02.19940316-11.diff.gz
c456d1918af9b0770159ae17e22169638e6cc7af 12264256
hol88_2.02.19940316-11_i386.deb
75684b4d672d3ece9c20bba6005c9c8b8be22509 4687272
hol88-library_2.02.19940316-11_i386.deb
d5480a24bffbe1509242bf11edb4e3cf605d1582 377166
hol88-source_2.02.19940316-11_all.deb
7443d5ac8145ef0a5eb112efa7f96c2a9e76a721 322774
hol88-help_2.02.19940316-11_all.deb
781e0e03ff4b2c0141655c2dbdb66939ffddf420 566842
hol88-library-source_2.02.19940316-11_all.deb
d6b75bd801366f5d0ee2a1d734e9b622a80f4114 310984
hol88-library-help_2.02.19940316-11_all.deb
9c137da33b865e2070d548eeffe9992e8d05d07f 1009402
hol88-contrib-source_2.02.19940316-11_all.deb
ee347e110e567517733876597109f3f830591159 26956
hol88-contrib-help_2.02.19940316-11_all.deb
b960b89286d72c56bc4e6f51d62778aa76897203 1055918
hol88-doc_2.02.19940316-11_all.deb
Checksums-Sha256:
8fbeee70d5d74aeb3ca72ceb43d9344bc9d406ad0359640c657b972a99793c66 1242
hol88_2.02.19940316-11.dsc
0b0e5d3636ed691eeac2b2ce0408cc8b9c2eaac7fb26af8ed351d7688f60ef20 641083
hol88_2.02.19940316-11.diff.gz
f87da26e7ee7a6fb6f5b208a5bb113e2ecffb15fdb966701082b0ab88caca25b 12264256
hol88_2.02.19940316-11_i386.deb
04f4077a3c17b4fdc7b7c1ad877737ffe8365aa5d1fc9c5cc5f5997e3bc4b05b 4687272
hol88-library_2.02.19940316-11_i386.deb
3804c97706e40a17e73fe902b5bde5cf145148ad473928b59f8cfa3762a91145 377166
hol88-source_2.02.19940316-11_all.deb
78b22e064e77e3532ad4c322ee1ded4c2ee779e65e4e5ddff0f377c53d05ae32 322774
hol88-help_2.02.19940316-11_all.deb
4c31cef6cabfad7eb5545fcfcaa1702132621b41b90b29c587e0d2bb1169cc7b 566842
hol88-library-source_2.02.19940316-11_all.deb
6181d718efd1de3b0290c9eb93eb3d649117b3a2c6f518b2c78b54aaaeda1d23 310984
hol88-library-help_2.02.19940316-11_all.deb
b94e35b2192707740b3b363932129a4e3ccf384415c9b237a3631c752ee65d40 1009402
hol88-contrib-source_2.02.19940316-11_all.deb
006ee370736f97b36b5a24bd6c7025f3003a483a7bf476df2720be4dc4fcf3a5 26956
hol88-contrib-help_2.02.19940316-11_all.deb
1b7c7dd1bbb74b094bceeee1e40dd029ce36b708d43fd098cf4f2e7f4cd54439 1055918
hol88-doc_2.02.19940316-11_all.deb
Files:
db211ddb146e3fa9aeeebb9d86d23c19 1242 math optional hol88_2.02.19940316-11.dsc
029be3b1384949da1b34bd57a482d50c 641083 math optional
hol88_2.02.19940316-11.diff.gz
d268a13dd02e0f5fd477e0b2fc03e80a 12264256 math optional
hol88_2.02.19940316-11_i386.deb
c7c95fea01566775425ec5de6208755b 4687272 math optional
hol88-library_2.02.19940316-11_i386.deb
3478b519794679f508c6c0bf56c81d86 377166 math optional
hol88-source_2.02.19940316-11_all.deb
5d9d30e42520399e8142edfb51f24815 322774 math optional
hol88-help_2.02.19940316-11_all.deb
a9b92724343b1cb49f92339fb967fdf7 566842 math optional
hol88-library-source_2.02.19940316-11_all.deb
cf71503bd3d097c158705adfb4ba1c1d 310984 math optional
hol88-library-help_2.02.19940316-11_all.deb
e30814b0f03157ff039a4c58b4667b8e 1009402 math optional
hol88-contrib-source_2.02.19940316-11_all.deb
8b271bf857b98f11c0087284574efe3d 26956 math optional
hol88-contrib-help_2.02.19940316-11_all.deb
5e0cf444a4b2e5ac8fad29b8a7789d69 1055918 math optional
hol88-doc_2.02.19940316-11_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkzAUYYACgkQczG1wFfwRdzfogCeKLz4aDuMG+rm8T6MzlFkCGMG
uXsAoJpkuDKRYF8bY8XWuL+VMrVKN8Vp
=DIus
-----END PGP SIGNATURE-----
--- End Message ---
