/gnu/store/7wnv319l5lpzwnns6lss16j43f8a3grz-agda-ial-1.5.0.drv

Derivation details

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

Build status

Unknown