Installed mona 1.4-2-1 (source i386)

Installed:
mona_1.4-2-1.diff.gz
  to dists/woody/main/source/misc/mona_1.4-2-1.diff.gz
mona_1.4-2-1.dsc
  to dists/woody/main/source/misc/mona_1.4-2-1.dsc
mona_1.4-2-1_i386.deb
  to dists/woody/main/binary-i386/misc/mona_1.4-2-1.deb
mona_1.4-2.orig.tar.gz
  to dists/woody/main/source/misc/mona_1.4-2.orig.tar.gz


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

Format: 1.6
Date: Mon, 23 Oct 2000 20:25:27 +0200
Source: mona
Binary: mona
Architecture: source i386
Version: 1.4-2-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Description: 
 mona       - a theorem prover based on automata
Changes: 
 mona (1.4-2-1) unstable; urgency=low
 .
   * Initial Release.
Files: 
 21e3f9fa23c8f5cb7c6911c24bc46bff 599 misc optional mona_1.4-2-1.dsc
 4e13c502ff44f00d7fa528b286302559 323623 misc optional mona_1.4-2.orig.tar.gz
 e6223261bc964919bc7e1cd293034839 3531 misc optional mona_1.4-2-1.diff.gz
 9491beefff14f29a2a756d78691146b2 329786 misc optional mona_1.4-2-1_i386.deb

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

iD8DBQE59L6dtzWmSeC6BMERAvNfAJwIhl16N7kSmpPB15508M/fawcpcQCgltuV
VT2c0qXfKPg3CH/LVs9Tz5M=
=GT5p
-----END PGP SIGNATURE-----