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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3g0gynlxxd5vqfrq9j3f3as5yiac9y73-gnutls-3.6.5.drv
/gnu/store/7s18skvd7nbjhpqg0bb7cxi4wrpr7ill-module-import-compiled.drv
/gnu/store/arvm0v20n93mra1s2la59by3kbm3cbsd-guile-2.2.4.drv
/gnu/store/c0ngi4rm0avjlp3nb8j4yvmdlf598vr2-gzip-1.9.drv
/gnu/store/dh1sziiha7a7gpa84b3mz71b00al2n95-git-minimal-2.23.0.drv
/gnu/store/dwjr2d9ds00bg8dvmsmljygz6k9y6b5h-tar-1.30.drv
/gnu/store/fyrwc8wqzysbp43i7sw2al6klxbns5aq-module-import.drv
/gnu/store/ny7pvsvx4ry5cxydjs24f1mjlrqhhk7k-guile-json-3.1.0.drv

Derivation details

Builder/gnu/store/r658y3cgpnf99nxjxqgjiaizx20ac4k0-guile-2.2.4/bin/guile
Systemx86_64-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/
Canceled
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