Sanal Paket: libghc-copilot-theorem-dev-4.5-78629

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

libghc-copilot-theorem-dev-4.5-78629 sağlayan paketler

libghc-copilot-theorem-dev

k-induction for Copilot.