» Ubuntu » 软件包 » questing (25.10) » virtual » libcoq-math-classes-etcc2
[  questing  ]

虚包: libcoq-math-classes-etcc2

这是一个虚包。查看Debian 政策了解虚包的定义。

负责填实 libcoq-math-classes-etcc2 的软件包

libcoq-math-classes
Abstract interfaces for mathematical structures for Coq