Virtual Package: libmathcomp-coq

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

Packages providing libmathcomp-coq

libcoq-mathcomp

Mathematical Components library for Coq (all)