/gnu/store/icw15w5cm875cdrlxjmdzxid5bzzp91v-agda-ial-1.5.0.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

Build status

Unknown