[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Installed mozart 1.2.0.20010514-3 (i386 source)



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



Reply to: