虛擬套件：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)

本頁其他語言版本如下（如何設定預設文件語言）：