Accepted mona 1.4-7-2 (i386 source)
-----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