[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



Reply to: