Virtuelles Paket: libcoq-flocq-g8nw3

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

Pakete, die libcoq-flocq-g8nw3 bereitstellen

libcoq-flocq

Floating-point arithmetic for Coq