すべてのオプション
sid  ]

仮想パッケージ: libcoq-reglang-7eph8

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

libcoq-reglang-7eph8 を提供するパッケージ

libcoq-reglang
representation of regular languages in Coq