packages [ questing ]
Näennäispaketti: libcoq-deriving-3o5l8
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.
Paketit, jotka toteuttavat paketin libcoq-deriving-3o5l8
- libcoq-deriving
- deriving MathComp classes from inductive types