Виртуальный пакет: libcoq-mathcomp-fingroup-2fml5

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

Пакеты, предоставляющие libcoq-mathcomp-fingroup-2fml5

libcoq-mathcomp-fingroup

Mathematical Components library for Coq (finite groups)