Sanal Paket: libcoq-simple-io-ecmj5

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

libcoq-simple-io-ecmj5 sağlayan paketler

libcoq-simple-io

Coq plugin for purely functional IO