Installed mlton 20010806-2 (i386 source)

[Barak Pearlmutter <bap@cs.unm.edu>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Fri, 24 Aug 2001 01:05:27 -0600
Source: mlton
Binary: mlton
Architecture: source i386
Version: 20010806-2
Distribution: unstable
Urgency: low
Maintainer: Barak Pearlmutter <bap@cs.unm.edu>
Changed-By: Barak Pearlmutter <bap@cs.unm.edu>
Description: 
 mlton      - Whole-program optimizing compiler for Standard ML
Closes: 109825
Changes: 
 mlton (20010806-2) unstable; urgency=low
 .
   * add dependency on libgmp2-dev; mlton links its output with libgmp2
   * add dependency on gcc; mlton calls it
   * stop dh_strip from gnawing crucial bits off libmlton.a (closes: #109825)
   * remove redundant license files
   * longer explanation of compilation requirements in README.Debian
   * rename upstream documentation file CHANGES.gz to changelog
Files: 
 396a7e6ab2b4990211164053608f0243 675 devel optional mlton_20010806-2.dsc
 d55850800728f0525a9f3c9d802096df 7938 devel optional mlton_20010806-2.diff.gz
 930d59ae0d0c40ef2bb8bcb612a2eb37 3112932 devel optional mlton_20010806-2_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE7hgTHLz4Gnv7CP7IRAhxvAKDGdrXNzbUdyAAtg+vkduUIEQ97JQCgq8XL
1ndT94CLFS+hOU1R+UvDK5A=
=SqO1
-----END PGP SIGNATURE-----


Installed:
mlton_20010806-2.diff.gz
  to pool/main/m/mlton/mlton_20010806-2.diff.gz
mlton_20010806-2.dsc
  to pool/main/m/mlton/mlton_20010806-2.dsc
mlton_20010806-2_i386.deb
  to pool/main/m/mlton/mlton_20010806-2_i386.deb