Virtueel pakket: libcoq-iris-4wfa1

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

Pakketten die libcoq-iris-4wfa1 bieden:

libcoq-iris

high-order concurrent separation logic framework for Coq