Build details

Build ID1914480
Status Failed (dependency)
Systemx86_64-linux
Nameagda-ial-1.5.0
Duration1573284953 seconds
Finished
Log file
Derivation
/gnu/store/6y48zfj7rkjbh93kx4q6bqq9lci42ffy-agda-ial-1.5.0.drv
Outputs
/gnu/store/2wlrqmm42f9892srg2l67z33a28dch5w-agda-ial-1.5.0