-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 4 Aug 2004 01:17:41 +0200 Source: mona Binary: mona Architecture: source i386 Version: 1.4-7-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: mona - a theorem prover based on automata Closes: 260596 Changes: mona (1.4-7-1) unstable; urgency=low . * New upstream release * Clean target: do a make distclean, and remove all generated makefiles * Removed phony configure target * Dpatch-ified * Patch 01_gcc3.4: fix to compile with gcc-3.4. Thanks a lot to Andreas Jochens for sending in this patch (closes: Bug#260596) Files: f9a5643f070d84e36d980b402c69456d 568 misc optional mona_1.4-7-1.dsc 701548e7223a71aef774919588f3fbe4 331228 misc optional mona_1.4-7.orig.tar.gz 7d31c952f40d8a64f02f05b6fabb41e1 7851 misc optional mona_1.4-7-1.diff.gz 853b1b7188cf1ae1d32c2c5b4592246a 287014 misc optional mona_1.4-7-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBEHCGtzWmSeC6BMERAovIAKCToJZrd5aC7roljeK++qf4KkxDWACeIlgR RRqEN5smB2X3Mdm/zcSoYNg= =Z0Qn -----END PGP SIGNATURE----- Accepted: mona_1.4-7-1.diff.gz to pool/main/m/mona/mona_1.4-7-1.diff.gz mona_1.4-7-1.dsc to pool/main/m/mona/mona_1.4-7-1.dsc mona_1.4-7-1_i386.deb to pool/main/m/mona/mona_1.4-7-1_i386.deb mona_1.4-7.orig.tar.gz to pool/main/m/mona/mona_1.4-7.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
