Виртуальный пакет: libcoq-ext-lib-tbej7

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

Пакеты, предоставляющие libcoq-ext-lib-tbej7

libcoq-ext-lib

Collection of theories and plugins for Coq