Uploaded mona 1.4-3-1 (sparc) to ftp-master
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 5 Feb 2002 21:23:09 +0100
Source: mona
Binary: mona
Architecture: sparc
Version: 1.4-3-1
Distribution: unstable
Urgency: low
Maintainer: Debian/sparc Build Daemon <buildd@sparc.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:
b728d0edd434bf2dff8ed0c2c1badc22 341180 misc optional mona_1.4-3-1_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.6 <http://mailcrypt.sourceforge.net/>
iEYEARECAAYFAjxil+4ACgkQgD/uEicUG7BnZACg4lIc16buoXXuBlLVS3Ogd/iV
O+4AoJ4GGNvyGtShiDr9+9U0QcV+DpIK
=RYIF
-----END PGP SIGNATURE-----
Reply to: