|
| From: | cuirass |
| Subject: | Build why3.i686-linux on master is broken. |
| Date: | Sun, 13 Jun 2021 18:02:39 +0200 |
The build why3.i686-linux for specification master is broken. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/600923/details.
| [Prev in Thread] | Current Thread | [Next in Thread] |