Section: devel
Priority: optional
Maintainer: Wesley W. Terpstra <terpstra@debian.org>
-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
+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, dblatex, ca-certificates
Standards-Version: 4.1.4
Package: mlton