Uploaded mona 1.4-2-1 (powerpc) to samosa
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.6
Date: Mon, 23 Oct 2000 20:25:27 +0200
Source: mona
Binary: mona
Architecture: powerpc
Version: 1.4-2-1
Distribution: unstable
Urgency: low
Maintainer: PowerPC Build Daemon/Daniel Jacobowitz <sayshell@crack.them.org>
Description:
mona - a theorem prover based on automata
Changes:
mona (1.4-2-1) unstable; urgency=low
.
* Initial Release.
Files:
3d30b877dae5d343d7c0e55258c4fbf3 339146 misc optional mona_1.4-2-1_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.1 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE5+gzRbgOPXuCjg3cRAiV3AKDVIdjDt/gJ/noEcwm0YaLUlVbVagCeKC2O
kRavEijBKCohSxgDTSp54iI=
=Liqz
-----END PGP SIGNATURE-----
Reply to: