Näennäispaketti: libmathcomp-coq
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.
Paketit, jotka toteuttavat paketin libmathcomp-coq
- libssreflect-coq
- small scale reflection library for Coq (theories)
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.