So closing this bug. Thanks,
Andreas
Oh I forgot to update this. The build seems to work fine now for some reason.
Sent with ProtonMail Secure Email.
‐‐‐ Original Message ‐‐‐
On Tuesday, April 9, 2019 12:58 PM, Ludovic Courtès wrote:
> Pronaip pron...@protonmail.com skribis:
>
> > ‐‐‐ Original Message ‐‐‐
> > On
Pronaip skribis:
> ‐‐‐ Original Message ‐‐‐
> On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès 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
‐‐‐ Original Message ‐‐‐
On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès 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
Hello,
Pronaip skribis:
[...]
> [ 63 of 338] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs,
> dist/build/Agda/Utils/FileName.o )
>
> src/full/Agda/Utils/FileName.hs:42:28: error:
> • No instance for (Hashable Text)
> arising from the 'deriving' clause of a data
Partial build log below. Ran right after a guix pull && guix package -u.
starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to