packages
Skip to content
软件包名
描述信息
源码包名
软件包内容
全部搜索项
»
Ubuntu
»
软件包
»
plucky (25.04)
»
virtual
» libcoq-reglang-vih92
[
plucky
]
虚包: libcoq-reglang-vih92
这是一个
虚包
。查看
Debian 政策
了解
虚包的定义
。
负责填实 libcoq-reglang-vih92 的软件包
libcoq-reglang
representation of regular languages in Coq