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.