-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 29 Dec 2004 17:09:44 +0100 Source: mona Binary: mona Architecture: source i386 Version: 1.4-7-2 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: 287662 Changes: mona (1.4-7-2) unstable; urgency=low . * Patch 02_gcc4.0 fixes compilation error with gcc4.0 on amd64. Patch provided by Andreas Jochens - thanks! (closes: Bug#287662). Files: f2eae3264f429426f29c0acaf477188c 568 misc optional mona_1.4-7-2.dsc 4949f3368843f2a32fe72c3976396d65 8912 misc optional mona_1.4-7-2.diff.gz 2534b43031432d8e1b5fb9538be3dfdb 278182 misc optional mona_1.4-7-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFB0tg0tzWmSeC6BMERAl3dAKDSTygnkpqr+56WKISLB6RjajYZigCfTQz9 L1bnfOZji6Wtp2ftvAiObxI= =5poP -----END PGP SIGNATURE----- Accepted: mona_1.4-7-2.diff.gz to pool/main/m/mona/mona_1.4-7-2.diff.gz mona_1.4-7-2.dsc to pool/main/m/mona/mona_1.4-7-2.dsc mona_1.4-7-2_i386.deb to pool/main/m/mona/mona_1.4-7-2_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org