すべてのオプション
bullseye  ]

仮想パッケージ: libcoq-ocaml-dev-otko2

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

libcoq-ocaml-dev-otko2 を提供するパッケージ

libcoq-ocaml-dev
development libraries and tools for Coq