Виртуальный пакет: libghc-copilot-theorem-dev-4.5-23399

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

Пакеты, предоставляющие libghc-copilot-theorem-dev-4.5-23399

libghc-copilot-theorem-dev

k-induction for Copilot.