/gnu/store/6073hc6ncs3id470f45b6868bjfkykiz-agda-ial-1.5.0.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-linux

Build status

Unknown