Build details

Build ID1900118
Status Failed (dependency)
Systemi686-linux
Nameagda-ial-1.5.0
Duration1572636698 seconds
Finished
Log file
Derivation
/gnu/store/zxkiwx098fsllzk8k94a4gqli2sqb9cq-agda-ial-1.5.0.drv
Outputs
/gnu/store/zm6am6xh5dbrmqwfidi9ikv4zsap1a9x-agda-ial-1.5.0