[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#49423] [PATCH] gnu: coq: Update to 8.13.2.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#49423] [PATCH] gnu: coq: Update to 8.13.2. |
|
Date: |
Wed, 21 Jul 2021 16:07:53 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi,
Julien Lepiller <julien@lepiller.eu> 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’.