/gnu/store/3yxalh0fhxg4rm9g2k6j09l9ngnqiyrv-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/9gfkwskldaamy7c00vbkvcb5v24zhhgk-module-import.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/r2dfsig0k5njx3409ln4bykryk40fy12-guile-json-3.2.0.drv
/gnu/store/xh9cg74l7lrvjh9a5wvyg13f7xk2nhqr-module-import-compiled.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/
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