|
From: | cuirass |
Subject: | Build proof-general.i686-linux on master is fixed. |
Date: | Sat, 29 May 2021 16:36:32 +0200 |
The build proof-general.i686-linux for specification master is fixed. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/510290/details.
[Prev in Thread] | Current Thread | [Next in Thread] |