|
| From: | cuirass |
| Subject: | Build coq-coquelicot.aarch64-linux on master is fixed. |
| Date: | Fri, 03 Dec 2021 12:51:46 +0100 |
The build coq-coquelicot.aarch64-linux for specification master is fixed. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/1857777/details.
| [Prev in Thread] | Current Thread | [Next in Thread] |