Sanal Paket: libcoq-paramcoq-benw8

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

libcoq-paramcoq-benw8 sağlayan paketler

libcoq-paramcoq

Coq plugin to generate parametricity statements