[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted hol88 2.02.19940316-7 (source all i386)



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

Format: 1.7
Date: Mon, 03 Dec 2007 09:18:22 -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-7
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: 448843
Changes: 
 hol88 (2.02.19940316-7) unstable; urgency=low
 .
   * Bug fix: "hol88: empty package on arm", thanks to Niko Tyni (Closes:
     #448843). Rebuild against latest gcl
Files: 
 88ee4076e0f05edb81f228c396bf5a14 841 math optional hol88_2.02.19940316-7.dsc
 383a5819fb5df69c57d54c1f09965796 19094 math optional hol88_2.02.19940316-7.diff.gz
 cc9534c13ff04dd5c5a45b3362b1a4f6 9731022 math optional hol88_2.02.19940316-7_i386.deb
 1c402c9a91c27f75c6a42c82bd2eace3 1209264 math optional hol88-library_2.02.19940316-7_i386.deb
 c65edf7e80f497842879a71c02a481ca 274514 math optional hol88-source_2.02.19940316-7_all.deb
 1829e8106e0e17c66153b530fe8e6257 288196 math optional hol88-help_2.02.19940316-7_all.deb
 a67bc1b7228f83d151be67198d26e89b 563138 math optional hol88-library-source_2.02.19940316-7_all.deb
 e201658e085184a0be1556183f6b8893 291508 math optional hol88-library-help_2.02.19940316-7_all.deb
 31f80ecc921a1f4b277a2ede4a6f1aa9 976704 math optional hol88-contrib-source_2.02.19940316-7_all.deb
 80f54779972cfcfd72392b9236c3d182 26400 math optional hol88-contrib-help_2.02.19940316-7_all.deb
 8c4f8e544112c259d8bc677c1b89460b 1019632 math optional hol88-doc_2.02.19940316-7_all.deb

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

iD8DBQFHVBHBczG1wFfwRdwRAuMVAKCfl66rBES7qOP/kqLbyCk1tLH8BgCguYoC
qNnzvZT0WxInYCC9FK7ZEt8=
=dNmG
-----END PGP SIGNATURE-----


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



Reply to: