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