Patch attachments in coq-reglang in Ubuntu Noble

There are no patches associated with coq-reglang in Ubuntu Noble at this time.