Virtuellt paket: libcoq-interval-11y09

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

Paket som tillhandahåller libcoq-interval-11y09

libcoq-interval

interval arithmetic for Coq