Виртуальный пакет: libcoq-core-ocaml-t2147

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие libcoq-core-ocaml-t2147

libcoq-core-ocaml

runtime libraries for Coq