Virtual Package: libssreflect-coq

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

Packages providing libssreflect-coq

libcoq-mathcomp

Mathematical Components library for Coq (all)