Debian Description Tracking --- package: dh-coq

a b c d e f g h i j k l m n o p q r s t u v w x y z

dh-coq

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.

This Description was in bookworm from 2022-06-21 to 2022-10-23;
This Description was in sid from 2022-06-12 to 2022-10-04;

This Description is not yet translated to ar

This Description is not yet translated to bg

This Description is not yet translated to ca

This Description is not yet translated to cs

This Description is translated to da

This Description is not yet translated to de

This Description is not yet translated to de_DE

This Description is not yet translated to el

This Description is not yet translated to eo

This Description is not yet translated to es

This Description is not yet translated to eu

This Description is not yet translated to fi

This Description is not yet translated to fr

This Description is not yet translated to gl

This Description is not yet translated to hr

This Description is not yet translated to hu

This Description is not yet translated to id

This Description is not yet translated to it

This Description is not yet translated to ja

This Description is not yet translated to km

This Description is not yet translated to ko

This Description is not yet translated to ml

This Description is not yet translated to nb

This Description is not yet translated to nl

This Description is not yet translated to pl

This Description is not yet translated to pt

This Description is not yet translated to pt_AO

This Description is not yet translated to pt_BR

This Description is not yet translated to ro

This Description is not yet translated to ru

This Description is not yet translated to sk

This Description is not yet translated to sr

This Description is not yet translated to sv

This Description is not yet translated to tr

This Description is not yet translated to uk

This Description is not yet translated to vi

This Description is not yet translated to zh

This Description is not yet translated to zh_CN

This Description is not yet translated to zh_TW

parts-md5sum:

74e042639c3eb58fbe1269d7ded58bdf da     
f66287a258efb48229de7c39add13c86 da     
2233f0d1242f850c0f85f8909dbbd0ef da

other Descriptions of the dh-coq package:

Description: 294169 patch
This Description is active
This Description was in forky from 2025-08-10 to 2026-09-02;
This Description was in sid from 2022-10-05 to 2026-09-02;
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;