Näennäispaketti: libghc-copilot-theorem-dev-4.5-1ea3c

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-1ea3c

libghc-copilot-theorem-dev

k-induction for Copilot.