packages [ plucky ]
Виртуален пакет: libcoq-mathcomp-character-r12y1
Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.
Пакети, предлагащи libcoq-mathcomp-character-r12y1
- libcoq-mathcomp-character
- Mathematical Components library for Coq (character)