Accepted hol88 2.02.19940316-35 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 29 Aug 2017 22:52:36 +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-35
Distribution: unstable
Urgency: medium
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
Changes:
hol88 (2.02.19940316-35) unstable; urgency=medium
.
* build-dep latest gcl
Checksums-Sha1:
91b09b4860689d4d0cce1dd239b6fca8ab38345c 2275 hol88_2.02.19940316-35.dsc
fb316d8553e53a8a387ea1228565757da84d59b1 131304 hol88_2.02.19940316-35.debian.tar.xz
ef1bafc58df30ac6c7c0f572ebd05f07144e2196 24856 hol88-contrib-help_2.02.19940316-35_all.deb
11cf4fc877e9ce41ff365a0c3987bf5bda2840d8 729942 hol88-contrib-source_2.02.19940316-35_all.deb
3fc3a96568baea43263d7f9851e128466369234b 1057380 hol88-doc_2.02.19940316-35_all.deb
0c1569699bb2a860128f48e29df127b5b12adaae 216784 hol88-help_2.02.19940316-35_all.deb
7eeee1057e4191c3740333f7281f2bc2762174f9 238602 hol88-library-help_2.02.19940316-35_all.deb
391a7a27280dc85564aa93a3c7922d88f3cc97a3 419040 hol88-library-source_2.02.19940316-35_all.deb
469f9f49f7e261c4dc669ef2051da8227b5bdafa 3144274 hol88-library_2.02.19940316-35_amd64.deb
960aad2bbbcef2f34b8307e18d7b2a8089aaff4e 295576 hol88-source_2.02.19940316-35_all.deb
ebba081451b5ebbf2881049b6cc72208da899f19 11138 hol88_2.02.19940316-35_amd64.buildinfo
a84f1be3ead52add676059521ae14e1f6b379476 6415060 hol88_2.02.19940316-35_amd64.deb
Checksums-Sha256:
e44e9b4b8251867f2d59b30fe21278fde62ed571fb5cc39b91df0cb869b43d50 2275 hol88_2.02.19940316-35.dsc
2d4118e896c7b8329967dc69f0a888992ffb2de943ab13f97a08d79fff0b0c53 131304 hol88_2.02.19940316-35.debian.tar.xz
7de9f8886a8c24a86a75da02b32d49326f91343bd99d20157491ff8a5c9a802f 24856 hol88-contrib-help_2.02.19940316-35_all.deb
145d4d795cfd23dabfe363ada841b15821c673effbf915710814d4bd95147141 729942 hol88-contrib-source_2.02.19940316-35_all.deb
f39dbfce24845fd94baf681bbc2550c0113b4dfea786fb4def962323fddf7296 1057380 hol88-doc_2.02.19940316-35_all.deb
2ca51ee7782018f45b93060671579f9a6274257b18750ca4045b5343d93850e3 216784 hol88-help_2.02.19940316-35_all.deb
19c9b52c2bd5fc980c634d66e713490bd8b4b30a2df939b7027090aba0d05b17 238602 hol88-library-help_2.02.19940316-35_all.deb
3c2f936ff4533e87affd6cdb23b5c7757221f9d65f77db4d88ae73f9b6ee9844 419040 hol88-library-source_2.02.19940316-35_all.deb
516232131e3b91ea7032654fad4d7cfbad56856968f09244f2d2a51445da4163 3144274 hol88-library_2.02.19940316-35_amd64.deb
9f1ba8ffe814333d3e1569a372372102e4439adf4e54a08dac0911d9861db78d 295576 hol88-source_2.02.19940316-35_all.deb
4e7c83b47412cd80ed8840c963ba1270491a2694a9b56390c794f363c62effef 11138 hol88_2.02.19940316-35_amd64.buildinfo
f93e67acd18e3a90e6119f5534670afb92ca541029a1c0db3fc90abeb7b390f4 6415060 hol88_2.02.19940316-35_amd64.deb
Files:
c1fb715e04867625bd0bfed7e563a7e9 2275 math optional hol88_2.02.19940316-35.dsc
48e7d068ec9e67b05be3a3c92853df10 131304 math optional hol88_2.02.19940316-35.debian.tar.xz
33b43b9ebfab9169be2026ec46593495 24856 math optional hol88-contrib-help_2.02.19940316-35_all.deb
022069e9886ccae37df4558bacec9c19 729942 math optional hol88-contrib-source_2.02.19940316-35_all.deb
fe6ba40938c8c53d59988a07e6cb6d09 1057380 doc optional hol88-doc_2.02.19940316-35_all.deb
55163dbb878096799d9955c782634bc7 216784 math optional hol88-help_2.02.19940316-35_all.deb
e4f4d3e2c59217454a40a6a334eaba8a 238602 math optional hol88-library-help_2.02.19940316-35_all.deb
de57dfda2a091f1686de0f02e3f9d970 419040 math optional hol88-library-source_2.02.19940316-35_all.deb
8801a1546ee2ec0c49174a731cc2a916 3144274 math optional hol88-library_2.02.19940316-35_amd64.deb
d508bfece7edb3004a294c8aa96a78db 295576 math optional hol88-source_2.02.19940316-35_all.deb
845fa6434dab235a525137999df71a50 11138 math optional hol88_2.02.19940316-35_amd64.buildinfo
66118e4a02950c540de7ac06e964828a 6415060 math optional hol88_2.02.19940316-35_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJZpfMmAAoJELhFzlEPm3FNgmgP/1tfbDfbvzo66zUQ8KuBip2B
69I6kHNiAJ3lV6mwU3cSHf+HNjFDAhdoZH/AcIFWz3pC3XrehcVySJV68VM0LAsF
SHGVSKttqAN2esf3/bBA+q8n47GufoNHGda3PcXPTO/oD/AovQqzItYhUZHiN+eC
CujbhN5mpImGNm8mw/gEJ2vSxDZUnnr5XL19Sd8FLi8sPXssgwpHmDltsZhbUZ3b
XIiQJTgS7CJEmVwvvYJBBXNWiqUxfe/q7VCrLxrl2mavCMkmH+4ykUX06IP7HF9q
VFXpNi9AO9p4SDqN64Q9pnn0PUAM+X6dlvBvZ0erCKsnGLm887x0lxuW5/kc/FC2
WagYntInCVAWpm6zY2d1E3HlGURTtpFhaIpG8DBEPhpo+KIzkTLE8Dlu3uKsgEsY
0xFH1DkRNdnnQf9PUz5uWLY+YoTgMUsOyBCLLyfCrJeqaRLAIMC8LTDz7UbFtDlR
CwDNZmtBg6wz75H8C+Xt8zgXCqA76bIp+I+QEqXTAtdyj2V+uAJ6zLXdwM7UOEcK
w2GTQrGNbTrIZIRYHNcdR/5TRWDVX7C5M9ys/KRdXKiih3fTNN8jTnp4GvCWa7Eo
qrhVZbWn6LXBThjo9OfpN+dK/upGHFr8Viq/wyP+ujoXnuw0pzYTpN1nEKDYmoIX
PXJi9QobVaiKGPoAHAYr
=b2kh
-----END PGP SIGNATURE-----