[ aramo ]
Виртуален пакет: libcoq-core-ocaml-dev-nf5u3
Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.
Пакети, предлагащи libcoq-core-ocaml-dev-nf5u3
- libcoq-core-ocaml-dev
- development libraries and tools for Coq