全部搜索项
trixie  ]

虚包:libcoq-hott-wu8b1

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

负责填实 libcoq-hott-wu8b1 的软件包

libcoq-hott
Coq library for homotopy type theory