|
From: | cuirass |
Subject: | Build coq-interval.i686-linux on guix-master is #<unspecified>. |
Date: | Wed, 10 Mar 2021 22:09:43 +0100 |
The build coq-interval.i686-linux for specification guix-master is #<unspecified>. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/26754/details.
[Prev in Thread] | Current Thread | [Next in Thread] |