Tarkennettu haku
bookworm  ]

Näennäispaketti: libcoq-paramcoq-bbr08

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

Paketit, jotka toteuttavat paketin libcoq-paramcoq-bbr08

libcoq-paramcoq
Coq plugin to generate parametricity statements