全部搜尋項
trixie  ] [  sid  ]

虛擬套件:libcoq-math-classes-u35k8

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

負責填實 libcoq-math-classes-u35k8 的套件

libcoq-math-classes
Abstract interfaces for mathematical structures for Coq