Bugs for coq-corn in Ubuntu Plucky

There are currently no open bugs.