Installed asis 3.13p-1 (source i386)

Installed:
asis_3.13p-1.diff.gz
  to dists/woody/main/source/devel/asis_3.13p-1.diff.gz
  replacing asis_3.12p-4.diff.gz
asis_3.13p-1.dsc
  to dists/woody/main/source/devel/asis_3.13p-1.dsc
  replacing asis_3.12p-4.dsc
libasis-3.13p-1_3.13p-1_i386.deb
  to dists/woody/main/binary-i386/devel/libasis-3.13p-1_3.13p-1.deb
asis-programs_3.13p-1_i386.deb
  to dists/woody/main/binary-i386/devel/asis-programs_3.13p-1.deb
  replacing asis-programs_3.12p-4.deb
libasis-3.13p-1-dev_3.13p-1_i386.deb
  to dists/woody/main/binary-i386/devel/libasis-3.13p-1-dev_3.13p-1.deb
asis_3.13p.orig.tar.gz
  to dists/woody/main/source/devel/asis_3.13p.orig.tar.gz
  replacing asis_3.12p.orig.tar.gz


-----BEGIN PGP SIGNED MESSAGE-----

Format: 1.6
Date: Thu,  3 Aug 2000 14:41:54 +0200
Source: asis
Binary: libasis-3.13p-1 asis-programs libasis-3.13p-1-dev
Architecture: source i386
Version: 3.13p-1
Distribution: unstable
Urgency: low
Maintainer: Samuel Tardieu <sam@debian.org>
Description: 
 asis-programs - Ada Semantic Interface Specification (ASIS) example programs
 libasis-3.13p-1 - Ada Semantic Interface Specification (ASIS) runtime library
 libasis-3.13p-1-dev - Ada Semantic Interface Specification (ASIS) headers and libraries
Changes: 
 asis (3.13p-1) unstable; urgency=low
 .
   * New upstream release.
Files: 
 cebf4334dd2b93a32a2b197bd8634a39 710 devel optional asis_3.13p-1.dsc
 1686a3846ea09e7d14a72684732de839 1087152 devel optional asis_3.13p.orig.tar.gz
 9881e4896258b2822bcc227e70eb96bf 19287 devel optional asis_3.13p-1.diff.gz
 1c23ca2d1294ca8d2f45d1c7fe1b46bf 1913674 devel optional asis-programs_3.13p-1_i386.deb
 a2c5c39f389356e7b3bb1e4514a29935 1453958 devel optional libasis-3.13p-1-dev_3.13p-1_i386.deb
 c8a1f25ff5801704da498d57d168a11c 532126 devel optional libasis-3.13p-1_3.13p-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.1 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iQCVAwUBOYl7O4FdzKExeYBpAQEIVwQAmZF8eZ2/s8MnU2EBCaxcHnCgQk/Yk0he
6vBtTkTHt2dJ4PHoKzcY72ePikrX5JyuHpRE2SucqBu2Dbg0jPCDwz24STfgIrvr
65eESLaXpNrzU1JKRTsr1fhstJ2Tc42QlS577AfgvyVKQmCTPI8UpHZBdVQK+FuJ
/8skFoyUz5E=
=uBmI
-----END PGP SIGNATURE-----