Virtueel pakket: libghc-copilot-theorem-dev-4.5-23399

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libghc-copilot-theorem-dev-4.5-23399 bieden:

libghc-copilot-theorem-dev

k-induction for Copilot.