Accepted hol88 2.02.19940316-6 (source all i386)

[Camm Maguire <camm@enhanced.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Wed, 24 Oct 2007 14:01:30 -0400
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-6
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: 441710 442282
Changes: 
 hol88 (2.02.19940316-6) unstable; urgency=low
 .
   * build-depend on texlive-latex-base
   * Bug fix: "hol88: package content changed if build twice or more times
     in a row", thanks to Patrick Winnertz (Closes: #441710). preserve
     debian/site_ml_orig
   * Bug fix: "hol88: dangling symlinks", thanks to Ian Zimmerman (Closes:
     #442282). write absolute paths in first entry in links files
Files: 
 569ac5b0eec2fc3a4bc9f130c907c841 841 math optional hol88_2.02.19940316-6.dsc
 fa37d700cefbcd2f70e23344e132ad63 19018 math optional hol88_2.02.19940316-6.diff.gz
 0f3f953678e4edd60a1a6000e3f75cff 9171878 math optional hol88_2.02.19940316-6_i386.deb
 3fb2db3b2a052173b2bfbc890fe104a8 1209266 math optional hol88-library_2.02.19940316-6_i386.deb
 e9882e14c283122b7ee70946da891293 274420 math optional hol88-source_2.02.19940316-6_all.deb
 a7a6a97f072ead5792ed80122821ee36 288100 math optional hol88-help_2.02.19940316-6_all.deb
 70fc4a276b7e1f466509ca69d6ba3308 563042 math optional hol88-library-source_2.02.19940316-6_all.deb
 9fa3ac47aa0d42e8792cb3bb34d79b8c 291444 math optional hol88-library-help_2.02.19940316-6_all.deb
 59c47654177d981f5fcb673fa8bd9b84 976678 math optional hol88-contrib-source_2.02.19940316-6_all.deb
 0b4c72b64be858a08bfea66567f633f9 26300 math optional hol88-contrib-help_2.02.19940316-6_all.deb
 4778784e1601d3bffc70095c2b44a977 1019348 math optional hol88-doc_2.02.19940316-6_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHH4vXczG1wFfwRdwRAuTOAKCOITcmRz3sLuq5gZ+4AgIjEn8SjwCfVuyv
YG14c40zh5tC9Y0+4DYYKEE=
=E6rb
-----END PGP SIGNATURE-----


Accepted:
hol88-contrib-help_2.02.19940316-6_all.deb
  to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-6_all.deb
hol88-contrib-source_2.02.19940316-6_all.deb
  to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-6_all.deb
hol88-doc_2.02.19940316-6_all.deb
  to pool/main/h/hol88/hol88-doc_2.02.19940316-6_all.deb
hol88-help_2.02.19940316-6_all.deb
  to pool/main/h/hol88/hol88-help_2.02.19940316-6_all.deb
hol88-library-help_2.02.19940316-6_all.deb
  to pool/main/h/hol88/hol88-library-help_2.02.19940316-6_all.deb
hol88-library-source_2.02.19940316-6_all.deb
  to pool/main/h/hol88/hol88-library-source_2.02.19940316-6_all.deb
hol88-library_2.02.19940316-6_i386.deb
  to pool/main/h/hol88/hol88-library_2.02.19940316-6_i386.deb
hol88-source_2.02.19940316-6_all.deb
  to pool/main/h/hol88/hol88-source_2.02.19940316-6_all.deb
hol88_2.02.19940316-6.diff.gz
  to pool/main/h/hol88/hol88_2.02.19940316-6.diff.gz
hol88_2.02.19940316-6.dsc
  to pool/main/h/hol88/hol88_2.02.19940316-6.dsc
hol88_2.02.19940316-6_i386.deb
  to pool/main/h/hol88/hol88_2.02.19940316-6_i386.deb