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