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

Derivation details

Builder/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-guile-3.0.2/bin/guile
Systemaarch64-linux

Build status

Unknown