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

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

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

libcoq-ext-lib

Collection of theories and plugins for Coq