|
From: | cuirass |
Subject: | Build coq-equations.aarch64-linux on guix-master is fixed. |
Date: | Fri, 09 Apr 2021 12:58:31 +0200 |
The build coq-equations.aarch64-linux for specification guix-master is fixed. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/160606/details.
[Prev in Thread] | Current Thread | [Next in Thread] |