Sanal Paket: libghc-copilot-theorem-dev-4.5-196c4

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

libghc-copilot-theorem-dev-4.5-196c4 sağlayan paketler

libghc-copilot-theorem-dev

k-induction for Copilot.