-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 9 Jul 2001 23:31:00 +0200 Source: mozart Binary: mozart-contrib mozart Architecture: source i386 Version: 1.2.0.20010514-3 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Marco Kuhlmann <marco.kuhlmann@gmx.net> Description: mozart - The Mozart Implementation of the Oz programming system mozart-contrib - Contributions for the mozart package. Changes: mozart (1.2.0.20010514-3) unstable; urgency=low . * Excluded sparc64 from Architecture, as requested from upstream. * Set OZ-HOME default properly in mozart.el. * Moved Fontifier.el to mozart-contrib. * Upgraded from {tcl,tk}8.2 to {tcl,tk}8.3; undone the old and applied a new patch to src/platform/wish/configure.in and Makefile.in to honour the {tcl,tk} include files; re-generated src/platform/wish/configure. * Symlinked /usr/include/mozart from /usr/lib/mozart/include. * Removed /usr/lib/mozart/doc and /usr/share/doc/mozart/examples from main package, as they are not present in the binary tarball and should be put into the mozart-doc-html package. Moved /usr/lib/mozart/share/doc to mozart-contrib. * Used --enable-copy-tcl-libs=no to avoid superfluous library files. * Removed LICENSE and README from /usr/lib/mozart. * Added ozdoc to mozart-contrib, like in the binary tarball. * Cleaned up debian/rules. Files: 0a059da7cf2ea912f93a2d94713e3dd3 768 devel optional mozart_1.2.0.20010514-3.dsc f573df63c15894879b6d5958be8f6cce 15690 devel optional mozart_1.2.0.20010514-3.diff.gz 8f23da2900b91d8e5f5c74be18e7bda2 2353666 devel optional mozart_1.2.0.20010514-3_i386.deb f3ee4660a160521fee38bcfde2cf0597 448696 devel optional mozart-contrib_1.2.0.20010514-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE7TJImtzWmSeC6BMERAofwAJ49JcvKnKlJwgY1WrQIVeXnJr6OnACfdH3M Ll+XJG1/6BO3QuEIIiNlGxA= =g6z6 -----END PGP SIGNATURE----- Installed: mozart_1.2.0.20010514-3.diff.gz to pool/main/m/mozart/mozart_1.2.0.20010514-3.diff.gz mozart_1.2.0.20010514-3_i386.deb to pool/main/m/mozart/mozart_1.2.0.20010514-3_i386.deb mozart_1.2.0.20010514-3.dsc to pool/main/m/mozart/mozart_1.2.0.20010514-3.dsc mozart-contrib_1.2.0.20010514-3_i386.deb to pool/main/m/mozart/mozart-contrib_1.2.0.20010514-3_i386.deb