Näennäispaketti: libcoq-hott-ldgl4

Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.

Paketit, jotka toteuttavat paketin libcoq-hott-ldgl4

libcoq-hott

Coq library for homotopy type theory