/gnu/store/3kfpxcmdprjxy4763nl3a1ncr4i9qgj1-agda-ial-1.5.0.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile
Systemi686-linux

Build status

Unknown