coq (8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1) jammy; urgency=low * Auto build. -- Jason Gross <email address hidden> Thu, 23 Jun 2022 23:26:35 +0000