všetky možnosti
forky  ] [  sid  ]

Virtuálny balík: libcoq-mathcomp-algebra-2yry9

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

Balíky poskytujúce libcoq-mathcomp-algebra-2yry9

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