Виртуален пакет: libcoq-core-ocaml-501i1

Експериментален пакет

Предупреждение: Този пакет е от дистрибуцията experimental. Това означава, че е възможно да е нестабилен или да има грешки, а може дори и да предизвика загуба на данни. Прочетете информация за промените и останалата документация преди да го използвате.