>> Trisquel >> 软件包 >> aramo >> virtual >> libmathcomp-coq

[ etiona ] [ nabia ] [ aramo ]

虚包: libmathcomp-coq

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

负责填实 libmathcomp-coq 的软件包

libcoq-mathcomp: Mathematical Components library for Coq (all)