Installed mona 1.4-3-1 (i386 source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 5 Feb 2002 21:23:09 +0100
Source: mona
Binary: mona
Architecture: source i386
Version: 1.4-3-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
Closes: 132122
Changes:
mona (1.4-3-1) unstable; urgency=low
.
* Standards-version 3.5.6.0.
* DH_COMPAT=3. This marks all files in /etc as conffiles (closes:
Bug#132122).
* Some cleanup in debian/rules.
* Removed local emacs variable in debian/changelog.
* Removed from the source package the following binary files (no idea
how they have slipped in the first place). Also, have them removed
by the clean target of debian/rules:
Examples/presburger_transduction, Examples/presburger_analysis,
Examples/gta_example, Examples/bdd_example, Lib/dfa2dot, Lib/gta2dot.
* Removed debian/docs and debian/dirs. Instead, pass arguments directly
to dh_installdocs and dh_installdirs.
* Add invocation of dh_installdeb in debian/rules.
* Changed in description the sentence on documentation, added url of
the upstream webpage.
Files:
ec7374489d0dcef1d5053fc6740fc6f3 601 misc optional mona_1.4-3-1.dsc
37add7fa3682f56779a4f6bc42febad4 201472 misc optional mona_1.4-3.orig.tar.gz
f9ef62451620176ae237492f812e8624 3644 misc optional mona_1.4-3-1.diff.gz
bcdc4f728fdd03c2936a7deb7cd1945f 330478 misc optional mona_1.4-3-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE8YEa7tzWmSeC6BMERAplUAJ9GLnhciGqhlQhMAdx3PgyGq4ZYfwCfdvoW
UJRn3SLP3DuX4c9BJH4dvY4=
=fWqa
-----END PGP SIGNATURE-----
Installed:
mona_1.4-3-1.diff.gz
to pool/main/m/mona/mona_1.4-3-1.diff.gz
mona_1.4-3-1.dsc
to pool/main/m/mona/mona_1.4-3-1.dsc
mona_1.4-3-1_i386.deb
to pool/main/m/mona/mona_1.4-3-1_i386.deb
mona_1.4-3.orig.tar.gz
to pool/main/m/mona/mona_1.4-3.orig.tar.gz