-----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-riscv64-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 riscv64 s390x sparc
Version: 20180207-1
Maintainer: Wesley W. Terpstra <terpstra@debian.org>
Standards-Version: 4.1.4
Build-Depends: mlton-compiler, mlton-tools, libgmp-dev, debhelper (>= 10.0.0), cdbs (>= 0.4.52), quilt, binutils (>= 2.21.51.201104) [mips mipsel], gcc (>= 4:4.6.0-5) [mips mipsel], procps, texlive-latex-base, asciidoc, python-pygments, graphicsmagick
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,riscv64,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,riscv64,s390x,sparc
 mlton-runtime-powerpc-linux-gnu deb devel optional arch=powerpc
 mlton-runtime-powerpc64le-linux-gnu deb devel optional arch=ppc64el
 mlton-runtime-riscv64-linux-gnu deb devel optional arch=riscv64
 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,riscv64,s390x,sparc
Checksums-Sha1:
 e859c645baf9b53669139e708af4f7badb1caa3b 25003695 mlton_20180207.orig.tar.gz
 fe8d20eb155837bcdf303ab367868647016419c1 13344 mlton_20180207-1.debian.tar.xz
Checksums-Sha256:
 872cd98da3db720cbe05f673eaa1776d020d828713753f18fa5dd6a268195fef 25003695 mlton_20180207.orig.tar.gz
 2bb686ab9dceebc6f61c4c03e5e446627d338f7badc569152a74e48638d12609 13344 mlton_20180207-1.debian.tar.xz
Files:
 efa5a6b70d964daefefe4b2581173ad9 25003695 mlton_20180207.orig.tar.gz
 4aebf96d40478477384e97d61553b7ca 13344 mlton_20180207-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCAAyFiEEtozRZMuKhjmfHRUL5kddAwqb8WQFAltLk9QUHHRlcnBzdHJh
QGRlYmlhbi5vcmcACgkQ5kddAwqb8WTk0w//V6DJWZU3Tn+bqKiAeCjb34EupIk1
tdzQn6LulWhM+eQo49kCzSPqnPThAcwFEUuJbiNco3HpkqwhZVlZed03Sd6Xlfrs
3GAan9I3jRO1oBz3QMap4IZwTubmFq5du6MxKqujDVmWhAS8oxKnZ2QFR18deS5z
CwMuz0NvpIg3MIIiL6vebFlomLQ1OQOD3hdaFMtUGZR+tBwFmZwybmpQA7xVTjsc
qtefVeG5QBqXLGNGJVBAPvzoE0XGW27V6wtsIbi5msfzs2MuI7GPpvzKeltxHdvV
wVj/eajj35GEwRRelToRrcv8XgcdZqXbDdK1UJLUzNZAuT8Rt4tkOoo05C028qYQ
NKxtliq4PNRaoK5WusTKaiz+bYZeFcqAmQAj3CQr/+5Jkn/O8w4etXpW+j0DtO5x
HOWD/9cESbMg6tBtIw8aVaWZQZDv3wP+iJq0VVt6WnVLbQdpzlCCQ8xW+qUergSZ
1sKB7yLARW+UHVi52GGk8H0buFRiJNBjpFVLI69krPzcy7gPQjKscfI3g8VWYPhF
EuV2AD3se06h2wJYYO8Y50EbNGk5bj4GccktZti5Mz4QDK1qBhB2o1znAIlKLKma
JprWixz7EP2KNIN7oQV0xTrGnpMgRu6Z6l5WwPE5vz31dwaFuyarX0H2xlf/F2fL
b2P1a6u3fH6pC90=
=DuRh
-----END PGP SIGNATURE-----