>> Trisquel >> 软件包 >> etiona >> virtual >> ssreflect

[ etiona ] [ nabia ] [ aramo ]

虚包: ssreflect

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

负责填实 ssreflect 的软件包

libssreflect-coq: small scale reflection library for Coq (theories)