wszystkie opcje
sid  ]

Pakiet wirtualny: libcoq-mathcomp-algebra-c9ic8

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

Pakiety udostępniające libcoq-mathcomp-algebra-c9ic8

libcoq-mathcomp-algebra
Mathematical Components library for Coq (algebra)