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