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

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-linux

Build status

Unknown