仮想パッケージ: libcoq-menhirlib-guc26

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

libcoq-menhirlib-guc26 を提供するパッケージ

libcoq-menhirlib

support library for Coq-verified Menhir parsers