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-----