-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 07 Jul 2007 15:00:49 +0200
Source: mona
Binary: mona
Architecture: source i386
Version: 1.4-8-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
Changes:
mona (1.4-8-1) unstable; urgency=low
.
* New upstream release
* Removed patches 01_gcc3.4 and 02_gcc4.0 as this upstream version
compiles cleanly on gcc-3.4 and gcc-4.1.
* Patch 01_config: use recent config.{guess,sub}, depend on autotools-dev.
* Standards-version 3.7.2 (no change)
* Update address of the FSF in debian/copyright
* debian/rules, target "clean": execute "make clean" only when makefile
exists. Remove extra commands to remove generated makefiles as this
is now fixed by upstream.
Files:
9999fac6b3c1367afa5d234ec1b48039 583 misc optional mona_1.4-8-1.dsc
1e36747e083145b9940513e668087f41 598514 misc optional mona_1.4-8.orig.tar.gz
68949901a1f41f572d3f8503ace976d7 5281 misc optional mona_1.4-8-1.diff.gz
090fbdab6acbaaff025b551a23609e7b 250508 misc optional mona_1.4-8-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGkM0stzWmSeC6BMERAiSyAJ9gNGYN7/C5MRB3xukPxtbXtNse/ACdEFL+
UnOKGXjT02QYUToS9acoXp8=
=2nOL
-----END PGP SIGNATURE-----
Accepted:
mona_1.4-8-1.diff.gz
to pool/main/m/mona/mona_1.4-8-1.diff.gz
mona_1.4-8-1.dsc
to pool/main/m/mona/mona_1.4-8-1.dsc
mona_1.4-8-1_i386.deb
to pool/main/m/mona/mona_1.4-8-1_i386.deb
mona_1.4-8.orig.tar.gz
to pool/main/m/mona/mona_1.4-8.orig.tar.gz
