Virtuálny balík: libcoq-interval-lbmh8

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

Balíky poskytujúce libcoq-interval-lbmh8

libcoq-interval

interval arithmetic for Coq