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

[bug#28925] [PATCH] Update coq and coq libraries.

From: Julien Lepiller
Subject: [bug#28925] [PATCH] Update coq and coq libraries.
Date: Sat, 21 Oct 2017 18:16:38 +0200 
Hi,

this patch series updates coq and its libraries.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]