Subject: [bug#71492] [PATCH 0/6] coq: Update various packages.

From: Arnaud Daby-Seesaram <[email-masked]>
Date: Wed, 12 Jun 2024 21:17:51 +0200

user guix
usertag 71492 + reviewed-looks-good
thanks

Guix QA review form submission:

Items marked as checked: Package builds, Commit messages