dl10n
Debian infrastructure and tools for localization
dl10n is the debian localization project. This package contains all the
relevant infrastructure and tools. Of course, most people won't really need
the server side part on their machine, but given the size of the package,
there is no need for a split.
libcupsmime1
Common UNIX Printing System(tm) - MIME library
libcvc3-5
Automatic theorem prover library for SMT problems
libsoupcutter0
Cutter libsoup support (Shared library)
docbook-mathml
Extension to DocBook XML for using MathML markup
The DocBook MathML module adds support for including MathML
markup in DocBook XML source documents.
docbook-simple
simplified DocBook XML Doctype and css stylesheets
The Simplified DocBook is a small subset of the DocBook DTD.
It has ~100 elements, rather than the >350 elements in the
full DocBook DTD. A good choice when full DocBook is overkill.