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

Derivation details

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

Build status

Unknown