bug-guix
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#62236: build of agda-ial-1.5.0.drv failed

From: Rostislav Svoboda
Subject: bug#62236: build of agda-ial-1.5.0.drv failed
Date: Fri, 17 Mar 2023 10:36:10 +0100 
Hello, the log is in the attachment.
Cheers Bost

Attachment: 4nfd33ayqw5pb1snlf1mp3cnvrili4-agda-ial-1.5.0.drv.gz
Description: application/gzip

reply via email to
[Prev in Thread] Current Thread [Next in Thread]