Näennäispaketti: libghc-copilot-theorem-dev-4.5-78629

Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.

Paketit, jotka toteuttavat paketin libghc-copilot-theorem-dev-4.5-78629

libghc-copilot-theorem-dev

k-induction for Copilot.