Back to hol88 PTS page

Accepted hol88 2.02.19940316-33 (source all amd64) into unstable



-----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-----