Sanal Paket: libcoq-simple-io-76x40

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

libcoq-simple-io-76x40 sağlayan paketler

libcoq-simple-io

Coq plugin for purely functional IO