Accepted hol88 2.02.19940316-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 28 Nov 2006 16:30:04 -0500
Source: hol88
Binary: hol88-library-help hol88-doc hol88-contrib-help hol88-help hol88-library hol88-library-source hol88 hol88-source hol88-contrib-source
Architecture: source all i386
Version: 2.02.19940316-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
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: 400063
Changes:
hol88 (2.02.19940316-2) unstable; urgency=low
.
* redefine ml-save to use si::save-system, and si::*top-level-hook*.
Fixes amd64 and sparc builds
* patch Makefile and make-user-init function (from gcl cvs head) to
support build on systems without native object relocation. Closes:
#400063.
Files:
65618511d96a19ad0f8d98752ca9ad1a 744 math optional hol88_2.02.19940316-2.dsc
7b1f470ff570ad73619b42deaf063967 149601 math optional hol88_2.02.19940316-2.diff.gz
4036bf82e9bb6e16ff6dc4a7836ef503 11407126 math optional hol88_2.02.19940316-2_i386.deb
fd55e8b84a6972f66824d919b9297960 1229150 math optional hol88-library_2.02.19940316-2_i386.deb
27f425cb6ab48c835917c0583e1207eb 1238828 math optional hol88-source_2.02.19940316-2_all.deb
5008234dbb84701ea604296d5f5aae8a 287688 math optional hol88-help_2.02.19940316-2_all.deb
ae03a998b5f4d190af2d3f42dfdf1af8 562640 math optional hol88-library-source_2.02.19940316-2_all.deb
507a7384768dc0f875757c730c75a950 291048 math optional hol88-library-help_2.02.19940316-2_all.deb
c5209d3f43f624eb124e0b45b8289ddc 976342 math optional hol88-contrib-source_2.02.19940316-2_all.deb
66249c15055cc7e689f8ed84aae1c670 25858 math optional hol88-contrib-help_2.02.19940316-2_all.deb
f49d9f2c432e749246cd6da69f90850d 1016088 math optional hol88-doc_2.02.19940316-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
iD8DBQFFbLA5czG1wFfwRdwRAle0AKCaJ6luEK+qCCxWep64Upm2i9sFnQCcDQg+
rygeTJXsq1l78OTE90ctTlc=
=+uf7
-----END PGP SIGNATURE-----
Accepted:
hol88-contrib-help_2.02.19940316-2_all.deb
to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-2_all.deb
hol88-contrib-source_2.02.19940316-2_all.deb
to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-2_all.deb
hol88-doc_2.02.19940316-2_all.deb
to pool/main/h/hol88/hol88-doc_2.02.19940316-2_all.deb
hol88-help_2.02.19940316-2_all.deb
to pool/main/h/hol88/hol88-help_2.02.19940316-2_all.deb
hol88-library-help_2.02.19940316-2_all.deb
to pool/main/h/hol88/hol88-library-help_2.02.19940316-2_all.deb
hol88-library-source_2.02.19940316-2_all.deb
to pool/main/h/hol88/hol88-library-source_2.02.19940316-2_all.deb
hol88-library_2.02.19940316-2_i386.deb
to pool/main/h/hol88/hol88-library_2.02.19940316-2_i386.deb
hol88-source_2.02.19940316-2_all.deb
to pool/main/h/hol88/hol88-source_2.02.19940316-2_all.deb
hol88_2.02.19940316-2.diff.gz
to pool/main/h/hol88/hol88_2.02.19940316-2.diff.gz
hol88_2.02.19940316-2.dsc
to pool/main/h/hol88/hol88_2.02.19940316-2.dsc
hol88_2.02.19940316-2_i386.deb
to pool/main/h/hol88/hol88_2.02.19940316-2_i386.deb