虚包：ssreflect

This is a virtual package. See the Debian policy for a definition of virtual packages.

负责填实 ssreflect 的软件包

libcoq-mathcomp

Mathematical Components library for Coq (all)

本页其他语言版本如下（如何设置默认文档语言）：