|
From: | cuirass |
Subject: | Build coq-mathcomp.x86_64-linux on master is fixed. |
Date: | Thu, 02 Dec 2021 19:49:57 +0100 |
The build coq-mathcomp.x86_64-linux for specification master is fixed. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/1857827/details.
[Prev in Thread] | Current Thread | [Next in Thread] |