Uploaded mona 1.4-2-1.0.1 (m68k) to ftp-master
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 27 May 2001 00:42:50 -0500
Source: mona
Binary: mona
Architecture: m68k
Version: 1.4-2-1.0.1
Distribution: unstable
Urgency: low
Maintainer: Debian/m68k buildd2 <buildd@bruno.fmepnet.org>
Changed-By: Debian/m68k buildd2 <buildd@bruno.fmepnet.org>
Description:
mona - a theorem prover based on automata
Changes:
mona (1.4-2-1.0.1) unstable; urgency=low
.
* Binary-only non-maintainer upload for m68k; no source changes.
* recompile to lose the libstdc++2.10-glibc2.1 dependency
Files:
ce721ca71a493d8774170b86c5c69422 293776 misc optional mona_1.4-2-1.0.1_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.4 (GNU/Linux)
Comment: Rick Younie <younie@debian.org>
iEYEARECAAYFAjsRERcACgkQEycGpQPNsdIpVQCeLfnqRciL+oyPfzc7AlBmqyhN
xysAnj3QQAqa9Y88cUiNHPYuXPH+g3Yu
=ec0G
-----END PGP SIGNATURE-----
Reply to: