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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/3c8679q09wk1cdih4amvsvln40ihyy6z-module-import-compiled.drv
/gnu/store/96bwk2vw1nqzzzvsbxyx4cjf4p07nc2f-gzip-1.10.drv
/gnu/store/anmadzav1ns6visvfcyf2g6dws0f6ngp-gnutls-3.6.11.1.drv
/gnu/store/d1jyv52ds60f5asqjs8pbl1af71zg3rl-module-import.drv
/gnu/store/dhxrw4z5zrcvwlzl3alwx45znhkc108g-tar-1.32.drv
/gnu/store/p50bc5smahzqxgps6vnbrscg71rg48qj-git-minimal-2.25.0.drv
/gnu/store/vmsdg3wxjq0pwm4q9qbqnj2ck1viys90-guile-json-3.2.0.drv
/gnu/store/vwm6nlr4ipcb5r36s8f76s1312mkyin5-guile-2.2.6.drv

Derivation details

Builder/gnu/store/0ahj1xwxw1dcai4am9mh6zwx0j0f4sgm-guile-2.2.6/bin/guile
Systemaarch64-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