[ubuntu/utopic-proposed] hol88 2.02.19940316-20build1 (Accepted)

[Matthias Klose]

hol88 (2.02.19940316-20build1) utopic; urgency=medium

  * No change rebuild.

Date: Tue, 15 Jul 2014 00:11:02 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/utopic/+source/hol88/2.02.19940316-20build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 15 Jul 2014 00:11:02 +0200
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
Version: 2.02.19940316-20build1
Distribution: utopic
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.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
Changes:
 hol88 (2.02.19940316-20build1) utopic; urgency=medium
 .
   * No change rebuild.
Checksums-Sha1:
 35bd463d4a34c24e5859cb632ebfa6d5101252eb 1658 hol88_2.02.19940316-20build1.dsc
 ed78d9701f7834aa9ee577e5cb9084785474db57 130704 hol88_2.02.19940316-20build1.debian.tar.xz
Checksums-Sha256:
 148cf101e61623eb3dfad9d228ed5244896e6832f72e1d6a4169904554dfd00e 1658 hol88_2.02.19940316-20build1.dsc
 d221622109231b3df8e686649cec4e0457364b5e0002044df0f1f1e085f9a59b 130704 hol88_2.02.19940316-20build1.debian.tar.xz
Files:
 5ffa838c3eeeaa198cf9a0d406775aee 1658 math optional hol88_2.02.19940316-20build1.dsc
 32e5ff02180d0ada7ded859c12e48ab2 130704 math optional hol88_2.02.19940316-20build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlPEVcsACgkQStlRaw+TLJz20QCfbclkXcswU275Ut5cU/8a4Fz2
+DEAoLssJuswbPh+T2QLA37w7iAf2jAG
=Swp7
-----END PGP SIGNATURE-----