全部搜尋項
sid  ]

虛擬套件:libcoq-core-ocaml-eic89

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

負責填實 libcoq-core-ocaml-eic89 的套件

libcoq-core-ocaml
runtime libraries for Coq