Virtueel pakket: libcoq-deriving-u54f1

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

Pakketten die libcoq-deriving-u54f1 bieden:

libcoq-deriving

deriving MathComp classes from inductive types