Virtueel pakket: libcoq-mtac2-7z1i4

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

Pakketten die libcoq-mtac2-7z1i4 bieden:

libcoq-mtac2

Mtac2 tactic language for Coq