-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 4 Aug 2004 01:17:41 +0200
Source: mona
Binary: mona
Architecture: source i386
Version: 1.4-7-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <[EMAIL PROTECTED]>
Changed-By: Ralf Treinen <[EMAIL PROTECTED]>
Description:
mona - a theorem prover based on automata
Closes: 260596
Changes:
mona (1.4-7-1) unstable; urgency=low
.
* New upstream release
* Clean target: do a make distclean, and remove all generated makefiles
* Removed phony configure target
* Dpatch-ified
* Patch 01_gcc3.4: fix to compile with gcc-3.4. Thanks a lot to Andreas
Jochens for sending in this patch (closes: Bug#260596)
Files:
f9a5643f070d84e36d980b402c69456d 568 misc optional mona_1.4-7-1.dsc
701548e7223a71aef774919588f3fbe4 331228 misc optional mona_1.4-7.orig.tar.gz
7d31c952f40d8a64f02f05b6fabb41e1 7851 misc optional mona_1.4-7-1.diff.gz
853b1b7188cf1ae1d32c2c5b4592246a 287014 misc optional mona_1.4-7-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBEHCGtzWmSeC6BMERAovIAKCToJZrd5aC7roljeK++qf4KkxDWACeIlgR
RRqEN5smB2X3Mdm/zcSoYNg=
=Z0Qn
-----END PGP SIGNATURE-----
Accepted:
mona_1.4-7-1.diff.gz
to pool/main/m/mona/mona_1.4-7-1.diff.gz
mona_1.4-7-1.dsc
to pool/main/m/mona/mona_1.4-7-1.dsc
mona_1.4-7-1_i386.deb
to pool/main/m/mona/mona_1.4-7-1_i386.deb
mona_1.4-7.orig.tar.gz
to pool/main/m/mona/mona_1.4-7.orig.tar.gz
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
