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

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

Unknown