虛擬套件： libcoq-math-classes-etcc2

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libcoq-math-classes-etcc2 的套件

libcoq-math-classes

Abstract interfaces for mathematical structures for Coq