[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35178: Agda doesn't build
From: |
Pronaip |
Subject: |
bug#35178: Agda doesn't build |
Date: |
Tue, 09 Apr 2019 02:59:32 +0000 |
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <address@hidden> wrote:
> Could check whether it systematically fails to build?
>
> Thank you,
> Ludo’.
I've tried it a few times, it always gives the same result. The --rounds thing
stops after the first failed build, so maybe I'm doing something wrong?