Hello, the log is in the attachment. Cheers Bost
4nfd33ayqw5pb1snlf1mp3cnvrili4-agda-ial-1.5.0.drv.gz
Description: application/gzip
- bug#62236: build of agda-ial-... Rostislav Svoboda
- bug#62236: build of agda... Josselin Poiret via Bug reports for GNU Guix
