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

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown