Näennäispaketti: libcoq-ext-lib-tbej7

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

Paketit, jotka toteuttavat paketin libcoq-ext-lib-tbej7

libcoq-ext-lib

Collection of theories and plugins for Coq