Installed mlton 20010806-2 (i386 source)
-----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