Virtueel pakket: dh-sequence-coq

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die dh-sequence-coq bieden:

dh-coq

debhelper tool for Coq-related Debian packages