|
From: | cuirass |
Subject: | Build coq-equations.i686-linux on master is broken. |
Date: | Sat, 20 Nov 2021 09:40:39 +0100 |
The build coq-equations.i686-linux for specification master is broken. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/1680690/details.
[Prev in Thread] | Current Thread | [Next in Thread] |