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

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

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

libcoq-ext-lib

Collection of theories and plugins for Coq