Subject: [bug#49423] [PATCH] gnu: coq: Update to 8.13.2.

From: Ludovic Courtès <[email-masked]>
Date: Wed, 21 Jul 2021 16:07:53 +0200

Hi,

Julien Lepiller <[email-masked]> skribis:

> this small series updates coq to the latest version. I had to update
> zarith and a few dependencies (some of which cannot be updated
> independently of coq), and fix the installation of lablgtk.

I haven’t tested it but the whole series LGTM!

Thanks,
Ludo’.