mlton (20130715-3) unstable; urgency=low * Build-depend only on mlton-compiler and mlton-tools * Buildds got stuck by looking at the mlton all package * Remove heap-size hacks; debian buildds have >2GB RAM now * Source-only upload to ensure full rebuild -- Wesley W. Terpstra <email address hidden> Sun, 18 Dec 2016 22:48:17 +0100