guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#52164] [PATCH] gnu: coq: Update to 8.14.0.

From: Julien Lepiller
Subject: [bug#52164] [PATCH] gnu: coq: Update to 8.14.0.
Date: Sun, 28 Nov 2021 17:44:26 +0100 
Hi Guix!

this small series updates coq to its latest version.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]