# Source: dh-coq
# Package: dh-coq
# Versions: dh-coq (0.2), dh-coq (0.3)
# This Description is owned
# 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-da: Hjælpeværktøj til at vedligeholde Coq-relaterede Debianpakker
 Dh-coq er et værktøj til at hjælpe med at vedligeholde Debianpakker relateret til Coq proof-assistenten for logik i højere orden.
 .
 Den beregner kontrolsummer for at styrke afhængigheder mellem Coq theories-pakker.

# other Descriptions of the dh-coq package with a translation in da:
# 
# Description-id: 294169 https://ddtp.debian.org/ddt.cgi?desc_id=294169
# patch https://ddtp.debian.org/ddt.cgi?diff1=294169&diff2=291650&language=da
# This Description is active
# This Description was in forky from 2025-08-10 to 2026-09-04;
# This Description was in sid from 2022-10-05 to 2026-09-04;
# This Description was in trixie from 2023-06-12 to 2026-07-13;
# This Description was in bookworm from 2022-10-24 to 2026-07-13;
#