Bugs for coq-quickchick in Ubuntu Noble

There are currently no open bugs.