仮想パッケージ: libcoq-simple-io-b6ug9

This is a virtual package. See the Debian policy for a definition of virtual packages.

libcoq-simple-io-b6ug9 を提供するパッケージ

libcoq-simple-io

Coq plugin for purely functional IO