-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 11 May 2017 19:24:09 +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 all amd64 Version: 2.02.19940316-33 Distribution: unstable Urgency: high Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@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: 857296 Changes: hol88 (2.02.19940316-33) unstable; urgency=high . * Bug fix: "hol88-library is an empty package on arm64, hppa, and m68k", thanks to Helmut Grohne (Closes: #857296). * build-dep on latest gcl * deprecated dh -s to -a in debian/rules * lintian override for hol88-help *.doc * temp files in clean target Checksums-Sha1: 8c6d90aabc03d8723b672d348a170539aae484a6 2275 hol88_2.02.19940316-33.dsc 1b40188a188f809d058e40ca53fd197c8d6deec7 131228 hol88_2.02.19940316-33.debian.tar.xz d5165963b8fa87a13693d093e6b08955ac5e2bfd 24760 hol88-contrib-help_2.02.19940316-33_all.deb 145c64859f6df307fed548b00d8d5ba962b9946d 729846 hol88-contrib-source_2.02.19940316-33_all.deb 20a8f3d858d2bad228c4ed54f14981b3327a8106 1056008 hol88-doc_2.02.19940316-33_all.deb 97e6f7089c9411da641d1b4b4220b7cdaa6bbeca 216690 hol88-help_2.02.19940316-33_all.deb bb592a9eaa0873beed8e2d9d53148311b28c3e97 238504 hol88-library-help_2.02.19940316-33_all.deb 447cbf67a96b0ec0e25a761603678c3054fb0916 418966 hol88-library-source_2.02.19940316-33_all.deb caa03c4367e6717c3331c18a975508edd0af6bc2 3098198 hol88-library_2.02.19940316-33_amd64.deb a0a11e798b658e8a6035e1cb9253848b5925d673 295528 hol88-source_2.02.19940316-33_all.deb a4963a823fd508e3b2ea2ff3d04275e6174e0a9b 12918 hol88_2.02.19940316-33_amd64.buildinfo e9725805c16a034c15dfd4a52a9bb927f907aa74 6396842 hol88_2.02.19940316-33_amd64.deb Checksums-Sha256: bc566ce47e2dc75a132b2b2b89c293aee52d9c945014c5a23e20fb4c89dee205 2275 hol88_2.02.19940316-33.dsc 39ee37cd3fbe56ea631a3bcc3c2d4f9b2cd962eecadb2327a095278d84b863f0 131228 hol88_2.02.19940316-33.debian.tar.xz 47e4b15965cc4d3cc0fc013a2f4dc2d2d3322bd30ccb66f3781bad042fbb3024 24760 hol88-contrib-help_2.02.19940316-33_all.deb 2a5a4cfdcdffdfc4dfb4f2c927aa3b885291da40551e09988cbfbd3d47daf143 729846 hol88-contrib-source_2.02.19940316-33_all.deb c5d0a628480c85ecca9505c994eb49877fca4f57f2c460fcc30f6b721f71d8f7 1056008 hol88-doc_2.02.19940316-33_all.deb 9f5b2067dfb3cb6b8db96603194945f07f62d92c26045d202d3366b9b0069a28 216690 hol88-help_2.02.19940316-33_all.deb a5a7cae7944d4686c585cf7f8da147b0c25f23c0977e7bdfc75d3611737f290a 238504 hol88-library-help_2.02.19940316-33_all.deb 49ec15fc442dabaf6f20777bbae7e72d46ac06822857e492df1dbab076354f2d 418966 hol88-library-source_2.02.19940316-33_all.deb 3ba959ddc813bb5b9ad23684972b46ff8176d52b75c1a2e6ab01c820e77f68ee 3098198 hol88-library_2.02.19940316-33_amd64.deb 065eff307300c85e73f70abd063bb9af104b773e3bbb74805510f124a1be8a8f 295528 hol88-source_2.02.19940316-33_all.deb a48bf7207c4378321b2e5a8e615329216db291452c278e136f76e9d50d059818 12918 hol88_2.02.19940316-33_amd64.buildinfo e829cb11f76e55f2058b89970b6b0398099f314d3b9a55c094f098b8673357e6 6396842 hol88_2.02.19940316-33_amd64.deb Files: fd43ea44213dd1ccc1734616c218f21d 2275 math optional hol88_2.02.19940316-33.dsc 48a9b2038b270869041bc1bf0112b072 131228 math optional hol88_2.02.19940316-33.debian.tar.xz 919f6c2d188e13e292021b74c21569e4 24760 math optional hol88-contrib-help_2.02.19940316-33_all.deb 923ba4529d984ac6e36953a05862e3cb 729846 math optional hol88-contrib-source_2.02.19940316-33_all.deb d2c251f0377493c4649f146a18953335 1056008 doc optional hol88-doc_2.02.19940316-33_all.deb aacb5aacfacb98e49732086c997f3268 216690 math optional hol88-help_2.02.19940316-33_all.deb 77486814024012b2cbe691648ac3e21c 238504 math optional hol88-library-help_2.02.19940316-33_all.deb 2099f78f33b3f53f01aae675fc237635 418966 math optional hol88-library-source_2.02.19940316-33_all.deb 208ef69ef4b7ac50ab68be5ec8fc22ca 3098198 math optional hol88-library_2.02.19940316-33_amd64.deb a9593f3bdecf4d0eecd4240671b1c39e 295528 math optional hol88-source_2.02.19940316-33_all.deb 691fc82689ee250852c6da5483e1039e 12918 math optional hol88_2.02.19940316-33_amd64.buildinfo 9ce9424dc99224dbceaed3ee675322c1 6396842 math optional hol88_2.02.19940316-33_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJZFL5VAAoJELhFzlEPm3FNQ0UP/AxQ/85tj1YJBRBkPc2Cf2H2 mTJBYblBifnUcmAC+F+wpjop8kl1qzqQJG3KF2YolnsWdFt24p4lEcdF33o2x5g2 /qKvbjI+AqQeFK6cN7QbikewHukfhz300i14WGoYgkAub7dGe27pr8GGLiFyvY1e EhFzZMJK3uWqMo+8Gm2v+Xic7++yrJfdGOQmLn2bd03eXR75KEu3sBfFHwRQEPbS HyUz6nyVmtlq2HCHijRyb3h6EqeaIYD0e6scyX6BwSAGCVZVU3SiXSv400gpeRgq es8Fxie+Hrt6yyeybdM8/Zjs4gYMcaxFgIjwZId6L7p3VDqFSyIzlbAitsU1RV0a C2v5a4cqQAftpnFpB4yc6U+2rptR3e4BkpGKWvYsXyOXH8ebWu4Ctlt/QoMkYgC/ JhO9lDrTpcsnXQnvW+76irdsSb8JQBZ2vBWfQcpS2JUDXZNx0iPP3FDquBb5eT61 jcRtmxRrZHuiQjn0M8lhIUypmiYs6XRNh4guPI9v+t2MxqzSxS+UfvQNeKvTEhX6 F6A5qoKFDonwI6AFsNl9EqUbqKBRMLTSh+AVA3YAhejzCHUOmNdEg2ei+1bwJhMG rfJA6kVxMsjJfArMzSQU+m38z+gUR3EgvyiJYnZHuw1lz27aNdAtG4mA/HwNRu1S TGm1SdISYT/bKimmNIWE =A18f -----END PGP SIGNATURE-----
