-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sat, 6 Mar 2004 07:58:18 +0100
Source: mona
Binary: mona
Architecture: source i386
Version: 1.4-5-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-5-1) unstable; urgency=low
.
* New upstream release.
* Standards-Version 3.6.1:
- Honor "noopt" in the value of DEB_BUILD_OPTIONS
* Use the new ./configure script.
* Replace DH_COMPAT variable by file debian/compat, set to level 4.
* Build-dependency on debhelper: specify >= 4.0
* Removed "g++" from Build-Depends since it is build-essential.
* Dependencies in debian/rules: replace configure-stamp by makefile and
build-stamp by mona.
* Target clean in debian/rules: remove config.{status,log}, makefile.
* Upstream fixed his clean target to properly cleanup Examples and Lib,
remove according cleanup code in debian/rules stemming from 1.4-3.1.
* copyright: reformatted and fixed typos, specified v2 of GPL, added
GPL copyright declaration.
Files:
2017ec38746a7b436cb2b0ad8de00604 561 misc optional mona_1.4-5-1.dsc
ffb93b710b6a77c7284170bc284842d8 324188 misc optional mona_1.4-5.orig.tar.gz
abae8a229497ac2ecf69f99c48bcf272 28280 misc optional mona_1.4-5-1.diff.gz
738deb6e111f9daf1554d7d0eccaf509 285548 misc optional mona_1.4-5-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFASYrotzWmSeC6BMERAvPAAJ9LBr1ncw9v1kqMNUu859EGDeUFuQCgs01G
kCl7PFwihNnu8VpEVeY9HZs=
=1kOP
-----END PGP SIGNATURE-----
Accepted:
mona_1.4-5-1.diff.gz
to pool/main/m/mona/mona_1.4-5-1.diff.gz
mona_1.4-5-1.dsc
to pool/main/m/mona/mona_1.4-5-1.dsc
mona_1.4-5-1_i386.deb
to pool/main/m/mona/mona_1.4-5-1_i386.deb
mona_1.4-5.orig.tar.gz
to pool/main/m/mona/mona_1.4-5.orig.tar.gz
--
To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
