coq (8.7~git~202207030518+18489-0~daily309-b4ccafd1ff~ubuntu22.04.1) jammy; urgency=low * Auto build. -- Jason Gross <email address hidden> Sun, 03 Jul 2022 05:18:08 +0000