Accepted mona 1.4-7-3 (i386 source)
-----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 <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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 debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org