[ nabia ]
Näennäispaketti: libcoq-ocaml-rd419
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.
Paketit, jotka toteuttavat paketin libcoq-ocaml-rd419
- libcoq-ocaml
- runtime libraries for Coq
Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.