Виртуален пакет: libghc-copilot-theorem-dev-4.2-334e2

Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.

Пакети, предлагащи libghc-copilot-theorem-dev-4.2-334e2

libghc-copilot-theorem-dev

k-induction for Copilot.