# Source: dh-coq
# Package: dh-coq
# Versions: dh-coq (0.2), dh-coq (0.3)
# Prioritize: 45
Description: helper tool to maintain Coq-related Debian packages
 dh-coq is a tool to help maintain Debian packages related to
 the Coq proof assistant for higher-order logic.
 .
 It computes checksums to tighten dependencies between Coq
 theories packages.
Description-de: <trans>
 <trans>
 .
 <trans>

# other Descriptions of the dh-coq package with a translation in de:
#