-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 12 Jul 2005 08:59:49 +0200 Source: mona Binary: mona Architecture: source i386 Version: 1.4-7-3 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <[EMAIL PROTECTED]> Changed-By: Ralf Treinen <[EMAIL PROTECTED]> Description: mona - a theorem prover based on automata Changes: 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: 45f3d9d55ce876ae29dbd8edcf5bd89d 568 misc optional mona_1.4-7-3.dsc fbaf11acfc3a9721817b19f0e6490156 8994 misc optional mona_1.4-7-3.diff.gz 2ff22d84a449733278a916d5874764f0 257230 misc optional mona_1.4-7-3_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFC02sdtzWmSeC6BMERAmxVAJ9u8k9m3CTgERdsdRP72Ogl/iUnKACeMpBA 3h+9EyT7+iLycZoGTV2klEk= =5T6k -----END PGP SIGNATURE----- Accepted: mona_1.4-7-3.diff.gz to pool/main/m/mona/mona_1.4-7-3.diff.gz mona_1.4-7-3.dsc to pool/main/m/mona/mona_1.4-7-3.dsc mona_1.4-7-3_i386.deb to pool/main/m/mona/mona_1.4-7-3_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
