[ etiona ]
Виртуален пакет: libcoq-ocaml-6pjp3
Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.
Пакети, предлагащи libcoq-ocaml-6pjp3
- libcoq-ocaml
- runtime libraries for Coq
Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.