/gnu/store/fszg7zj4pwf4c6pml9ygy09hxx9gxy3k-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/31xqqygni89wvz167dz3cpvv8cpnw5v7-guile-2.2.6.drv
/gnu/store/fbimw11gr5brrbkw2rlna5ix6hq8m7y8-gnutls-3.6.11.1.drv
/gnu/store/h5sadbys47jf8w7b2g6y420dwqgzvxcp-git-minimal-2.24.1.drv
/gnu/store/kz540ik56q8h5bxs4j6m8ngx9jkn769g-gzip-1.10.drv
/gnu/store/l9vay0cdck2v55cbyfb89ic9rgzl5395-module-import.drv
/gnu/store/njrck8h4qq2nkh93ivh56d0lj5ll3s81-tar-1.32.drv
/gnu/store/waajz0x4frr6sc9h89qciwrzykhbk8i7-guile-json-3.2.0.drv
/gnu/store/yc7s8y360rwqvbjq6ilp38w2kf5z56fn-module-import-compiled.drv

Derivation details

Builder/gnu/store/v90jcwmlxvjr4m52i0f68g02rlbn0qxw-guile-2.2.6/bin/guile
Systemarmhf-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout