Näennäispaketti: ssreflect
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.
Paketit, jotka toteuttavat paketin ssreflect
- libssreflect-coq
- Mathematical Components library for Coq
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.