-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: mlton Binary: mlton, mlton-basis, mlton-doc, mlton-compiler, mlton-tools, mlton-runtime-native, mlton-runtime-alpha-linux-gnu, mlton-runtime-x86-64-linux-gnu, mlton-runtime-arm-linux-gnueabi, mlton-runtime-arm-linux-gnueabihf, mlton-runtime-hppa-linux-gnu, mlton-runtime-i486-gnu, mlton-runtime-i486-linux-gnu, mlton-runtime-ia64-linux-gnu, mlton-runtime-i486-kfreebsd-gnu, mlton-runtime-x86-64-kfreebsd-gnu, mlton-runtime-mips-linux-gnu, mlton-runtime-mipsel-linux-gnu, mlton-runtime-powerpc-linux-gnu, mlton-runtime-s390-linux-gnu, mlton-runtime-sparc-linux-gnu Architecture: all alpha amd64 armel armhf hppa hurd-i386 i386 ia64 kfreebsd-i386 kfreebsd-amd64 mips mipsel powerpc s390 sparc Version: 20100608-5.1 Maintainer: Wesley W. Terpstra (Debian) Standards-Version: 3.9.1 Build-Depends: mlton (>= 20070826), libgmp-dev, htmldoc, texlive-latex-base, procps, debhelper (>= 7.0.0), cdbs (>= 0.4.52), quilt, binutils (>= 2.21.51.201104) [mips mipsel], gcc (>= 4:4.6.0-5) [mips mipsel] Package-List: mlton deb devel optional mlton-basis deb devel optional mlton-compiler deb devel optional mlton-doc deb doc optional mlton-runtime-alpha-linux-gnu deb devel optional mlton-runtime-arm-linux-gnueabi deb devel optional mlton-runtime-arm-linux-gnueabihf deb devel optional mlton-runtime-hppa-linux-gnu deb devel optional mlton-runtime-i486-gnu deb devel optional mlton-runtime-i486-kfreebsd-gnu deb devel optional mlton-runtime-i486-linux-gnu deb devel optional mlton-runtime-ia64-linux-gnu deb devel optional mlton-runtime-mips-linux-gnu deb devel optional mlton-runtime-mipsel-linux-gnu deb devel optional mlton-runtime-native deb devel optional mlton-runtime-powerpc-linux-gnu deb devel optional mlton-runtime-s390-linux-gnu deb devel optional mlton-runtime-sparc-linux-gnu deb devel optional mlton-runtime-x86-64-kfreebsd-gnu deb devel optional mlton-runtime-x86-64-linux-gnu deb devel optional mlton-tools deb devel optional Checksums-Sha1: 919b3d0aac8bf8ef09265491e3b22665bd94c5c1 5785771 mlton_20100608.orig.tar.gz c70a90acee8fddb3a94e378585561d744e81ca91 28120 mlton_20100608-5.1.debian.tar.gz Checksums-Sha256: f2cb2cf0d6ca8e00331b15e3d23ede05080742895e79e73d2c26a546cd1c0b33 5785771 mlton_20100608.orig.tar.gz fbcd1352ca9391b503cf872b9743d124c15b8603d21bb011cb518a661273ea50 28120 mlton_20100608-5.1.debian.tar.gz Files: 8c53b68492a8aa41de06d35dc0e9d8fa 5785771 mlton_20100608.orig.tar.gz f7051f76b41773f2d1c388d12220b3a4 28120 mlton_20100608-5.1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQEcBAEBAgAGBQJSYueSAAoJEL97/wQC1SS+6dkIAKwUfIC+ame3XwwYzneEZ7RM 0acPDxNvhgQRCO0Lz/VIj17xZPwBHyJ006x7XW+QRqQwMpf1SM7cJe7L9GfX3atF o0YlE5qhfmJ1ZHpdpTVTwBjCe29YIeXgfwU6ViCe6eaMMBD6WUNnNbtFjjY0rUF+ lOSWzJ1oo6bm5Cbc/zDYwsg0lD/zmBGhTMr/1wYuBiy+G4oM4ossy0RSj+cgIgB0 MgM34fkL/vbA4ilLc9roy/XfRIa6xFjnAQBPwM/i/3XB5z9TNIyvXUWhSaDsbwtM Yexm6EVaseiqRpAWxYTemakqAwEIvoMfBw7opeUZ7jcCsi+XNcdO7k9jo2dGNLo= =hGmy -----END PGP SIGNATURE-----