-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 6 Sep 2001 01:35:40 -0600 Source: mlton Binary: mlton Architecture: source i386 Version: 20010806-3 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: 111000 111327 Changes: mlton (20010806-3) unstable; urgency=low . * add build-time dependency on package time * ignore upstream, use libgmp3-dev (closes: #111000) (closes: #111327) Files: 3ed7425b3289be42224eea8972ad36a1 681 devel optional mlton_20010806-3.dsc e13dd1b89d2fcf55c2bb5565a8200123 8125 devel optional mlton_20010806-3.diff.gz 3bfa6cd60d9c8abdd475fdf7d232438b 3188526 devel optional mlton_20010806-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE7mrnmLz4Gnv7CP7IRAi7aAKC8vX/XbFeoTngNah28cae8Wfe1xwCgmaR2 /hwe49MQHFDzrpNcEBTwlaw= =N6Z6 -----END PGP SIGNATURE----- Installed: mlton_20010806-3_i386.deb to pool/main/m/mlton/mlton_20010806-3_i386.deb mlton_20010806-3.diff.gz to pool/main/m/mlton/mlton_20010806-3.diff.gz mlton_20010806-3.dsc to pool/main/m/mlton/mlton_20010806-3.dsc
