-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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-aarch64-linux-gnu, mlton-runtime-arm-linux-gnueabi, mlton-runtime-arm-linux-gnueabihf, mlton-runtime-hppa-linux-gnu, mlton-runtime-i486-linux-gnu, mlton-runtime-i486-kfreebsd-gnu, mlton-runtime-x86-64-kfreebsd-gnu, mlton-runtime-mips64el-linux-gnuabi64, mlton-runtime-mips-linux-gnu, mlton-runtime-mipsel-linux-gnu, mlton-runtime-powerpc-linux-gnu, mlton-runtime-powerpc64le-linux-gnu, mlton-runtime-s390x-linux-gnu, mlton-runtime-sparc-linux-gnu
Architecture: all alpha amd64 arm64 armel armhf hppa i386 kfreebsd-i386 kfreebsd-amd64 mips64el mips mipsel powerpc ppc64el s390x sparc
Version: 20130715-3
Maintainer: Wesley W. Terpstra <terpstra@debian.org>
Standards-Version: 3.9.8
Build-Depends: mlton-compiler, mlton-tools, libgmp-dev, htmldoc, texlive-latex-base, procps, debhelper (>= 9.0.0), cdbs (>= 0.4.52), quilt, binutils (>= 2.21.51.201104) [mips mipsel], gcc (>= 4:4.6.0-5) [mips mipsel], asciidoc, dblatex, ruby-albino, imagemagick, librsvg2-bin
Package-List:
 mlton deb devel optional arch=all
 mlton-basis deb devel optional arch=all
 mlton-compiler deb devel optional arch=alpha,amd64,arm64,armel,armhf,hppa,i386,kfreebsd-i386,kfreebsd-amd64,mips64el,mips,mipsel,powerpc,ppc64el,s390x,sparc
 mlton-doc deb doc optional arch=all
 mlton-runtime-aarch64-linux-gnu deb devel optional arch=arm64
 mlton-runtime-alpha-linux-gnu deb devel optional arch=alpha
 mlton-runtime-arm-linux-gnueabi deb devel optional arch=armel
 mlton-runtime-arm-linux-gnueabihf deb devel optional arch=armhf
 mlton-runtime-hppa-linux-gnu deb devel optional arch=hppa
 mlton-runtime-i486-kfreebsd-gnu deb devel optional arch=kfreebsd-i386
 mlton-runtime-i486-linux-gnu deb devel optional arch=i386
 mlton-runtime-mips-linux-gnu deb devel optional arch=mips
 mlton-runtime-mips64el-linux-gnuabi64 deb devel optional arch=mips64el
 mlton-runtime-mipsel-linux-gnu deb devel optional arch=mipsel
 mlton-runtime-native deb devel optional arch=alpha,amd64,arm64,armel,armhf,hppa,i386,kfreebsd-i386,kfreebsd-amd64,mips64el,mips,mipsel,powerpc,ppc64el,s390x,sparc
 mlton-runtime-powerpc-linux-gnu deb devel optional arch=powerpc
 mlton-runtime-powerpc64le-linux-gnu deb devel optional arch=ppc64el
 mlton-runtime-s390x-linux-gnu deb devel optional arch=s390x
 mlton-runtime-sparc-linux-gnu deb devel optional arch=sparc
 mlton-runtime-x86-64-kfreebsd-gnu deb devel optional arch=kfreebsd-amd64
 mlton-runtime-x86-64-linux-gnu deb devel optional arch=amd64
 mlton-tools deb devel optional arch=alpha,amd64,arm64,armel,armhf,hppa,i386,kfreebsd-i386,kfreebsd-amd64,mips64el,mips,mipsel,powerpc,ppc64el,s390x,sparc
Checksums-Sha1:
 7aaf3614a290776d354a18992f766e0e316bbb84 25606142 mlton_20130715.orig.tar.gz
 778b731cdcb1552b60adbe4b4aec191300b26f25 12292 mlton_20130715-3.debian.tar.xz
Checksums-Sha256:
 215857ad11d44f8d94c27f75e74017aa44b2c9703304bcec9e38c20433143d6c 25606142 mlton_20130715.orig.tar.gz
 edecc508ab0f3d6383d11c9cccb7e4494b9bfae5d31a2ca056cb898776be3676 12292 mlton_20130715-3.debian.tar.xz
Files:
 8b4bd860e83deb67e5091e7d81a71fb2 25606142 mlton_20130715.orig.tar.gz
 3029a25f4377990757872851cc17e1b5 12292 mlton_20130715-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYVxKLAAoJEOZHXQMKm/FkOK0P/RHOt828O87QXbWwdQJP0MHk
MCp+tacviUSqityVAhqiexXejX/dnwxmcbSa/R5ZAMFDgbZHuZL7qGcSkdWAsEmJ
7gaT1rqzA0pQUdK4uLwgtoSMl1keF0uTESBTFIECjl2yqwfyWC33q2J9P9CJRFGR
gL5YdEXrYFUj0qoks9HoTIfU8/z2cBa9RNuBg0WyQpVDAn9371kGp57ddu9/YFx6
oasPAOFko1ut9UqHqGT91lj19Vm80wfmL4yOaHqdKW2KnY8fS4c+hCVhdzSocE2e
hKB3iEhHbFym40rc0eJNuSa3NClNSJljJ94+J4jDBTE/m/KdaSiZR30/EYFzt3Mh
MfoVFJs6hIRTLw+6NXAQBIqCOWcH917ap1p1crGb7ZP1JC6yJfduh9elWsFAMmFx
x008cFKlXJtNh4nLvayBa9afUDff/C+tJNk1Tm/SProS2DmAlY0XAs2y/ltfjr6f
PUFTrVskobnzce9StZEYipIAoMliKVTejb7/Xm6XMxxaPHSomBK2aplKXvJ1dqw4
MpzEk6CSwcLsAvOpRK3oxT9SZHfcqKe1aDr3uxKlBj6FL83LVEiReMkeaZvU7jET
fv/MIeKWbhYm6I0k4HZBjYFudQufvojy6veCF0iizypcr1FWZyj6XGwBrk/I0UME
FWob/429uetRsB+SY2yy
=pdaO
-----END PGP SIGNATURE-----