套件：dh-coq（0.5）

[ 原始碼： dh-coq  ]

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.

其他與 dh-coq 有關的套件

• rec: debhelper

  helper programs for debian/rules

下載 dh-coq

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
all	7。3 kB	26。0 kB	[檔案列表]