Näennäispaketti: libcoq-core-ocaml-dev-k4nx1

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

Paketit, jotka toteuttavat paketin libcoq-core-ocaml-dev-k4nx1

libcoq-core-ocaml-dev

development libraries and tools for Coq