Accepted mona 1.4-7-4 (source)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Origin: Debian/unstable
Format: 1.7
Date: Tue,  25 Oct 2005 08:27:14 +0100
Source: mona
Binary: mona
Architecture: source
Version: 1.4-7-4
Distribution: dapper
Urgency: low
Maintainer: Ralf Treinen <treinen at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
Description: 
 mona       - a theorem prover based on automata
Changes: 
 mona (1.4-7-4) unstable; urgency=low
 .
   * Compile with -O2 instead of -O3 on m68k in order to resolve FTBFS on
     m68k which is due to a gcc-4.0 bug.
   * Let "debian/rules clean" also remove the generated makefiles in
     Examples/ and config/
   * Switch from dh_installmanpages to dh_installman.
 .
 mona (1.4-7-3) unstable; urgency=low
 .
   * Recommends graphiz (instead of Suggests).
   * Standards-version 3.6.2 (no change).
   * Rebuild with gcc 4.
Files: 
 6a8ed549ff7bbc91025c8b9c0f51dbd4 6332 misc optional mona_1.4-7-4.diff.gz
 3577b972adcb7bd8c7f042f09a4e2da0 568 misc optional mona_1.4-7-4.dsc
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iQEVAwUBQ13eUgF4adwMEr3XAQLTagf+NvxS7p1pES0Gan6BqS3zhB4uYrzThAka
XkoRW+eCFM4tbRAt+9M1G8EA0UFdEUMNqG48g/EPBT3wdiwnIBzrwG03gj/RWzvy
ap/GwXeQNU28Qs0KDnDxMQ+GDkqIVjxB3OQ0iqQUh5DbvlFg5wKeMUPD0gvHBWXy
KF2SE1uLWZupf6J0/OowvPf/tVc2qAaAwuIzC5A95omvR3IXrQhLYxhDJyw7HH8H
1xljJjRPOwXMgiYsg9et+sU+8WlT/aHKm9BKk1mipbqcjc0f884Mga4UCBr6+kT4
+pJdY+3/iM8y8QhCwgmF8Gjr/EAx2HqWMlT47ziGkX0TssGQlplhyw==
=DBKW
-----END PGP SIGNATURE-----


Accepted:
mona_1.4-7-4.diff.gz
  to pool/universe/m/mona/mona_1.4-7-4.diff.gz
mona_1.4-7-4.dsc
  to pool/universe/m/mona/mona_1.4-7-4.dsc