Subject: [PATCH] gnu: coq: Update to 8.14.0.

From: Julien Lepiller <[email-masked]>
Date: Sun, 28 Nov 2021 17:44:26 +0100

Hi Guix!

this small series updates coq to its latest version.