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

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

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

libghc-copilot-theorem-dev

k-induction for Copilot.