Bugs for coq-reglang in Ubuntu Mantic

There are currently no open bugs.