Accepted mona 1.4-7-2build1 (source)

[Matthias Klose]

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

Format: 1.7
Date: Tue, 28 Jun 2005 08:35:30 +0000
Source: mona
Binary: mona
Architecture: source
Version: 1.4-7-2build1
Distribution: breezy
Urgency: low
Maintainer: Ralf Treinen <treinen at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description: 
 mona       - a theorem prover based on automata
Changes: 
 mona (1.4-7-2build1) breezy; urgency=low
 .
   * Rebuild for new C++ ABI
Files: 
 707881d6e01a163ae335dbdb956acf00 580 misc optional mona_1.4-7-2build1.dsc
 616818ced47f08b548465aa401298deb 9013 misc optional mona_1.4-7-2build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iD8DBQFCwRn9StlRaw+TLJwRAmZJAKDCZHR8mGLKZmF6icJ5+yZ+E/ovagCfes94
AM21J5QXFiQG/C4uml9JTvw=
=BhXD
-----END PGP SIGNATURE-----


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