wszystkie opcje
bookworm  ]

Pakiet wirtualny: libcoq-deriving-uixq5

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

Pakiety udostępniające libcoq-deriving-uixq5

libcoq-deriving
deriving MathComp classes from inductive types