/gnu/store/6jc1zvx4bv2gpy3lffsgn9rkzp1gv0j0-agda-ial-1.5.0.drv

Derivation details

Builder/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile
Systempowerpc64le-linux

Build status

Unknown