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

Derivation details

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

Build status

Unknown