Accepted hol88 2.02.19940316-14 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 17 May 2011 15:01:32 +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-14
Distribution: unstable
Urgency: low
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-14) unstable; urgency=low
.
* rebuild against latest gcl
Checksums-Sha1:
8ee00a8ef46e6b2cc0ca0def4858fa236be93f2f 1242 hol88_2.02.19940316-14.dsc
1cc4e97bedb37cf956fca7e2b6b24bbcc86bb19a 119391 hol88_2.02.19940316-14.diff.gz
5c444356d22bcc458e321980839199bfd0e112e6 13210372 hol88_2.02.19940316-14_i386.deb
c7b6f18c36309ea7a11648a6d14afc6fa112e3ff 5012990 hol88-library_2.02.19940316-14_i386.deb
a7f4b2101127ed15205af968ff30bf4c4d754e74 377278 hol88-source_2.02.19940316-14_all.deb
b126937c6bc16d3e7aae8fc17c5daeb338f01e19 323588 hol88-help_2.02.19940316-14_all.deb
a51d7c822dfcbad7ad3df1af7516ed749ee9c86c 565538 hol88-library-source_2.02.19940316-14_all.deb
b549243690c714a51a74120772c649e352bb03f9 311476 hol88-library-help_2.02.19940316-14_all.deb
36ffb8b9a3cdbb8b9bb29459c87eb59dc67fe8ea 1011082 hol88-contrib-source_2.02.19940316-14_all.deb
9c12d7a8d4f050c7b61a67fd036b0dbb60dfeaca 27066 hol88-contrib-help_2.02.19940316-14_all.deb
755db693e216098c2447a39b5dda5db68f823929 1019474 hol88-doc_2.02.19940316-14_all.deb
Checksums-Sha256:
2e9fc6bcfc67215116ffab84e68dc52f76bef6c590163e591a9c1d2556cd114f 1242 hol88_2.02.19940316-14.dsc
9f4add8b46bad715f034fca05cc35d50f32ff4c48c2c3df4ec808183c24ceac6 119391 hol88_2.02.19940316-14.diff.gz
74077d650b343e8f21b9a71fdecbe13089bbf982a3e17ae0968ae9290944033c 13210372 hol88_2.02.19940316-14_i386.deb
b00b8d2aa19300ec0dabee82c7bdb15368d315f4358d12b12ce5224c3c006453 5012990 hol88-library_2.02.19940316-14_i386.deb
a836235fbf5f47cac169a63425ec83a4d0b857cf14818412a6e0508bc1d50b32 377278 hol88-source_2.02.19940316-14_all.deb
e07063a0cca3418e0c9e8d895af5674b35213f7d22de027912ca5006b374bfb0 323588 hol88-help_2.02.19940316-14_all.deb
73ebe4775cdf968c88325f9889dafcc64ce517790e935bce81047e035f8e1f63 565538 hol88-library-source_2.02.19940316-14_all.deb
e95a5476e6a74c3f5174f629affd0a7d3176a60b036d12ca74785de31b44517e 311476 hol88-library-help_2.02.19940316-14_all.deb
6275e768965233ec6b5063a549ec358ce498c6076c383910bdd2f2c649610304 1011082 hol88-contrib-source_2.02.19940316-14_all.deb
c2adb48cb9d52d5d1cccd7bcc2f993fe6080a2b4426ae30be29dbdb73c86b1fa 27066 hol88-contrib-help_2.02.19940316-14_all.deb
7fb282b1315617455b97315afc1537b659d0b04b6aaf427bb7ad7d0dd57295ed 1019474 hol88-doc_2.02.19940316-14_all.deb
Files:
3275e54901d56636641eb73fcba42da3 1242 math optional hol88_2.02.19940316-14.dsc
dd09a2c1582160946ed6bf596e362305 119391 math optional hol88_2.02.19940316-14.diff.gz
dbf5edcaec49f586c62a05cc1cee3758 13210372 math optional hol88_2.02.19940316-14_i386.deb
5453ed28920224dc623eb8bd850bef26 5012990 math optional hol88-library_2.02.19940316-14_i386.deb
c69330ca29e76508d58d488d980b33eb 377278 math optional hol88-source_2.02.19940316-14_all.deb
5d53ff57b35f69a5d2a2154b7318554e 323588 math optional hol88-help_2.02.19940316-14_all.deb
b86ed721a5c2a52b53cfe9a99b452647 565538 math optional hol88-library-source_2.02.19940316-14_all.deb
ee1d80118fb771b12d113601673e5369 311476 math optional hol88-library-help_2.02.19940316-14_all.deb
ce7ccee1c4d17f241c71e63f836cb195 1011082 math optional hol88-contrib-source_2.02.19940316-14_all.deb
dee693f577717e3c609260506cd9d98c 27066 math optional hol88-contrib-help_2.02.19940316-14_all.deb
325bfca6caf3902ad259d839adc35de6 1019474 math optional hol88-doc_2.02.19940316-14_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3SlHkACgkQczG1wFfwRdwumACfa4gkaqlda165sSM0pCJHkHK7
QzMAoKqX2y1azHU94B5nXYIMVtD3Cnlj
=sjch
-----END PGP SIGNATURE-----
Accepted:
hol88-contrib-help_2.02.19940316-14_all.deb
to main/h/hol88/hol88-contrib-help_2.02.19940316-14_all.deb
hol88-contrib-source_2.02.19940316-14_all.deb
to main/h/hol88/hol88-contrib-source_2.02.19940316-14_all.deb
hol88-doc_2.02.19940316-14_all.deb
to main/h/hol88/hol88-doc_2.02.19940316-14_all.deb
hol88-help_2.02.19940316-14_all.deb
to main/h/hol88/hol88-help_2.02.19940316-14_all.deb
hol88-library-help_2.02.19940316-14_all.deb
to main/h/hol88/hol88-library-help_2.02.19940316-14_all.deb
hol88-library-source_2.02.19940316-14_all.deb
to main/h/hol88/hol88-library-source_2.02.19940316-14_all.deb
hol88-library_2.02.19940316-14_i386.deb
to main/h/hol88/hol88-library_2.02.19940316-14_i386.deb
hol88-source_2.02.19940316-14_all.deb
to main/h/hol88/hol88-source_2.02.19940316-14_all.deb
hol88_2.02.19940316-14.diff.gz
to main/h/hol88/hol88_2.02.19940316-14.diff.gz
hol88_2.02.19940316-14.dsc
to main/h/hol88/hol88_2.02.19940316-14.dsc
hol88_2.02.19940316-14_i386.deb
to main/h/hol88/hol88_2.02.19940316-14_i386.deb