虛擬套件：dh-sequence-coq

This is a virtual package. See the Debian policy for a definition of virtual packages.

負責填實 dh-sequence-coq 的套件

dh-coq

debhelper tool for Coq-related Debian packages

本頁其他語言版本如下（如何設定預設文件語言）：