Uploaded mona 1.4-2-1 (m68k) to erlangen
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.6
Date: Mon, 23 Oct 2000 20:25:27 +0200
Source: mona
Binary: mona
Architecture: m68k
Version: 1.4-2-1
Distribution: unstable
Urgency: low
Maintainer: Debian/m68k Build Daemon <buildd@kullervo.informatik.uni-erlangen.de>
Description:
mona - a theorem prover based on automata
Changes:
mona (1.4-2-1) unstable; urgency=low
.
* Initial Release.
Files:
11841980828b7a16c12747be2a3f01ab 293306 misc optional mona_1.4-2-1_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.1 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.5 and Gnu Privacy Guard <http://www.gnupg.org/>
iEYEARECAAYFAjoJJUQACgkQcS3JWD3Fdvcq8ACeKHljCeyBo5ta1YXvBam95eMz
5fMAn2zs0MBLXSgjV2fjHUvRtJ4tGHhi
=/LjV
-----END PGP SIGNATURE-----
Reply to: