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

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

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

libcoq-ext-lib

Collection of theories and plugins for Coq