Виртуальный пакет: libcoq-math-classes-e73c6

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие libcoq-math-classes-e73c6

libcoq-math-classes

Abstract interfaces for mathematical structures for Coq