Your message dated Sun, 03 Aug 2008 15:02:06 +0000 with message-id <[EMAIL PROTECTED]> and subject line Bug#484983: fixed in hol88 2.02.19940316-8 has caused the Debian Bug report #484983, regarding hol88: FTBFS with dash as /bin/sh 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 [EMAIL PROTECTED] immediately.) -- 484983: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484983 Debian Bug Tracking System Contact [EMAIL PROTECTED] with problems
--- Begin Message ---Package: hol88 Version: 2.02.19940316-7 Severity: important From my pbuilder build log, using a chroot with /bin/sh -> dash: ... for i in $(find -maxdepth 1 -name "*hol*"); do \ echo -e 'install `'/usr/share/hol88-2.02.19940316'`;;\nlisp `(ml-save "foo")`;;' | ./$i &&\ mv foo $i; done GCL (GNU Common Lisp) 2.6.8 CLtL1 Aug 1 2008 03:18:53 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ HOL-LCF version 2.02 (GCL) created 1/8/8 # unbound or non-assignable variable e 1 error in typing typecheck failed GCL (GNU Common Lisp) 2.6.8 CLtL1 Aug 1 2008 03:18:53 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ =============================================================================== HOL88 Version 2.02 (GCL), built on 1/8/8 =============================================================================== # ill-typed phrase: install has an instance of type (string -> void) which should match type tactic 1 error in typing typecheck failed #GCL (GNU Common Lisp) 2.6.8 CLtL1 Aug 1 2008 03:18:53 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ BASIC-HOL version 2.02 (GCL) created 1/8/8 # ill-typed phrase: install has an instance of type (string -> void) which should match type tactic 1 error in typing typecheck failed make: *** [build-arch-stamp] Error 1 dpkg-buildpackage: failure: debian/rules build gave error exit status 2 -- Daniel Schepler
--- End Message ---
--- Begin Message ---Source: hol88 Source-Version: 2.02.19940316-8 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-8_all.deb to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-8_all.deb hol88-contrib-source_2.02.19940316-8_all.deb to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-8_all.deb hol88-doc_2.02.19940316-8_all.deb to pool/main/h/hol88/hol88-doc_2.02.19940316-8_all.deb hol88-help_2.02.19940316-8_all.deb to pool/main/h/hol88/hol88-help_2.02.19940316-8_all.deb hol88-library-help_2.02.19940316-8_all.deb to pool/main/h/hol88/hol88-library-help_2.02.19940316-8_all.deb hol88-library-source_2.02.19940316-8_all.deb to pool/main/h/hol88/hol88-library-source_2.02.19940316-8_all.deb hol88-library_2.02.19940316-8_i386.deb to pool/main/h/hol88/hol88-library_2.02.19940316-8_i386.deb hol88-source_2.02.19940316-8_all.deb to pool/main/h/hol88/hol88-source_2.02.19940316-8_all.deb hol88_2.02.19940316-8.diff.gz to pool/main/h/hol88/hol88_2.02.19940316-8.diff.gz hol88_2.02.19940316-8.dsc to pool/main/h/hol88/hol88_2.02.19940316-8.dsc hol88_2.02.19940316-8_i386.deb to pool/main/h/hol88/hol88_2.02.19940316-8_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.8 Date: Sat, 02 Aug 2008 13:23:41 +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-8 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: 477583 484983 Changes: hol88 (2.02.19940316-8) unstable; urgency=low . * Bug fix: "FTBFS: LaTeX Error: \begin{document} ended by \end{theindex}", thanks to Chris Lamb (Closes: #484983). * Bug fix: "hol88: bashism in debian/rules", thanks to Raphael Geissert (Closes: #477583). Checksums-Sha1: 70815529317c9bcb384e0be2785d9c2d93248969 1247 hol88_2.02.19940316-8.dsc bba7aa65db993419550212a69b5793784b32c8bb 22305 hol88_2.02.19940316-8.diff.gz d5ccac87b7ae7438db3627162517333c679ff142 9771450 hol88_2.02.19940316-8_i386.deb a7c924405e761f08a8d65ff59904bb4e40cc9bdb 4781180 hol88-library_2.02.19940316-8_i386.deb 6f893a8523f67a2cd98704c1976e53002e97d3ad 275336 hol88-source_2.02.19940316-8_all.deb 1dbef67816cd6a33f7f0b4158180701f45f0947c 323828 hol88-help_2.02.19940316-8_all.deb 5dc2fb0c366c83b091a2376e99ec578ba75e129e 564958 hol88-library-source_2.02.19940316-8_all.deb c3d682efef55461e9916f3aa1a2700b5085d4110 311852 hol88-library-help_2.02.19940316-8_all.deb 082052fa9d2ca075632203b5cacd8f611b0cf0f9 1010702 hol88-contrib-source_2.02.19940316-8_all.deb ad862561f12d63c6a9b47f5f783b99c28d63a319 26454 hol88-contrib-help_2.02.19940316-8_all.deb 7243505e748785ce5e4791f382a94cab2b5ffc21 1018888 hol88-doc_2.02.19940316-8_all.deb Checksums-Sha256: 00f9fa605ad9ec189e4c04609ac78e9c205c79662392642ea813dde02ee6d9fd 1247 hol88_2.02.19940316-8.dsc 2687faeed11529052711db9f7ed566f2ba7b50360e943e9af3c1c24c1b40624e 22305 hol88_2.02.19940316-8.diff.gz 4063760ffc6ae9494b8530958177f585acd3afbce4e76295387eea4d2710a03e 9771450 hol88_2.02.19940316-8_i386.deb 4b1382f656522a90df37361ecdd23e662b1104320cbae17efc27fb7121277f9e 4781180 hol88-library_2.02.19940316-8_i386.deb 4f3c8e04ab90c3d039507fb84de91c452746bf569fb2d6ca82135941e8a97916 275336 hol88-source_2.02.19940316-8_all.deb 7a90dca541638944637a72194dbe60cc0c65eef134118e0657fdca192eaf4c0c 323828 hol88-help_2.02.19940316-8_all.deb 1b62f272050e430b1bbffb62fa0c4b77deadbb79e4e14d35602e12622adb7da3 564958 hol88-library-source_2.02.19940316-8_all.deb 9d7137f7e279d1db64da886d9623cae22da480fdf3b1fb67daa01d20e4cf76da 311852 hol88-library-help_2.02.19940316-8_all.deb 1f369a6d65f57dceb914d21223958feefd740a68e2e8e33b5c937819ae19ebf1 1010702 hol88-contrib-source_2.02.19940316-8_all.deb 6b0bf07b3fb9f55095c29f9fa5b7fb1527e20cfdcbe7e51d750a7363234dac6d 26454 hol88-contrib-help_2.02.19940316-8_all.deb f15e5c87caabea48bd833aaec9de9cbaf709a75167376c7bf8f529b94057a3d2 1018888 hol88-doc_2.02.19940316-8_all.deb Files: add365a28dbc29f05cd01d57aaf7af70 1247 math optional hol88_2.02.19940316-8.dsc 30d7d6aefb43529b64f4561d0636af1f 22305 math optional hol88_2.02.19940316-8.diff.gz bc248f41efaea805e423937af2088930 9771450 math optional hol88_2.02.19940316-8_i386.deb cd65408524389d66a5683467f201b2d1 4781180 math optional hol88-library_2.02.19940316-8_i386.deb e251fb3930579ab3c90b09972fa07a03 275336 math optional hol88-source_2.02.19940316-8_all.deb 609b5c60de901e0f49671b5d4adf757d 323828 math optional hol88-help_2.02.19940316-8_all.deb 60eff092f2abb94237bff05ffe0c8c1c 564958 math optional hol88-library-source_2.02.19940316-8_all.deb b8d51b85d426c388db14a17187f0c2e2 311852 math optional hol88-library-help_2.02.19940316-8_all.deb e03b971533c76630849b344ecd536fbe 1010702 math optional hol88-contrib-source_2.02.19940316-8_all.deb 8ae59e656f0eba07bc02e22d9d3c9e65 26454 math optional hol88-contrib-help_2.02.19940316-8_all.deb 8c44d4ce60285131abd37cb6a12a1e23 1018888 math optional hol88-doc_2.02.19940316-8_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iD8DBQFIlI1jczG1wFfwRdwRAgcyAKCgJLPDTZVIDIQgpGydPf6xriBQBACgm4ZN 8V8/R+eu3lqBp8iD0l0OJ2o= =KfuA -----END PGP SIGNATURE-----
--- End Message ---
