Sanal Paket: libcoq-corn-7wnc0

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

libcoq-corn-7wnc0 sağlayan paketler

libcoq-corn

Coq Constructive Repository at Nijmegen