Uploaded mona 1.4-2-1 (sparc) to ftp-master
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.6
Date: Mon, 23 Oct 2000 20:25:27 +0200
Source: mona
Binary: mona
Architecture: sparc
Version: 1.4-2-1
Distribution: unstable
Urgency: low
Maintainer: Debian/SPARC Build Daemon <buildd@sparc.debian.org>
Description:
mona - a theorem prover based on automata
Changes:
mona (1.4-2-1) unstable; urgency=low
.
* Initial Release.
Files:
d03829b4ff7e94ad7e8c7bb7363aa7fb 340872 misc optional mona_1.4-2-1_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.1 (GNU/Linux)
Comment: Ben Collins <bcollins@debian.org>
iD8DBQE6BWZEfNc/ZB4E7C0RAmwNAKCHCGnKvZUi0sfa5VtUKiIXsUz8kQCeIVvg
goxMGRHfPI72TkHrTxCWYdI=
=Iooy
-----END PGP SIGNATURE-----
Reply to: