Accepted mona 1.4-7-4 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 5 Aug 2005 21:31:32 +0200
Source: mona
Binary: mona
Architecture: source i386
Version: 1.4-7-4
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
Changes:
mona (1.4-7-4) unstable; urgency=low
.
* Compile with -O2 instead of -O3 on m68k in order to resolve FTBFS on
m68k which is due to a gcc-4.0 bug.
* Let "debian/rules clean" also remove the generated makefiles in
Examples/ and config/
* Switch from dh_installmanpages to dh_installman.
Files:
3577b972adcb7bd8c7f042f09a4e2da0 568 misc optional mona_1.4-7-4.dsc
6a8ed549ff7bbc91025c8b9c0f51dbd4 6332 misc optional mona_1.4-7-4.diff.gz
e6c2c353b100727e96e6a32f8cc88f60 257372 misc optional mona_1.4-7-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFC9IfatzWmSeC6BMERAnK8AKDxxCsm7WrnNioVLry1/gEc4HONugCg+ZaJ
keI5VeqEbAbSZ9CVjZAxYdk=
=UEie
-----END PGP SIGNATURE-----
Accepted:
mona_1.4-7-4.diff.gz
to pool/main/m/mona/mona_1.4-7-4.diff.gz
mona_1.4-7-4.dsc
to pool/main/m/mona/mona_1.4-7-4.dsc
mona_1.4-7-4_i386.deb
to pool/main/m/mona/mona_1.4-7-4_i386.deb
--
To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org