Virtueel pakket: libcoq-deriving-8qgk8

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libcoq-deriving-8qgk8 bieden:

libcoq-deriving

deriving MathComp classes from inductive types