Virtueel pakket: libcoq-hott-ldgl4

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

Pakketten die libcoq-hott-ldgl4 bieden:

libcoq-hott

Coq library for homotopy type theory