Back to mona PTS page

Accepted mona 1.4-8-1 (source i386)



-----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