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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/36wn2hpip1kf5g200ffll7ghzrm1w4c2-gnutls-3.7.2.drv
/gnu/store/70858844cs0966hxihqv8hymwg5c80q0-gzip-1.10.drv
/gnu/store/7rd4520245hkwgwgjfvznkzhbs10psf1-guile-3.0.7.drv
/gnu/store/frnjaziw4z9qs2r9b78l7rh2pvngp04l-glibc-utf8-locales-2.33.drv
/gnu/store/fxhpv4ywz7iqqmip7vgqw5r6c5qhy17n-git-minimal-2.39.1.drv
/gnu/store/jic9h95p33p98wq9hfzwyyd7wvssc98j-guile-zlib-0.1.0.drv
/gnu/store/nhym096sfhmg0f2nzwpl4l8z99c0i598-tar-1.34.drv
/gnu/store/w77fliznhdd4qg9qh6c8clv0y5w9nyq7-module-import-compiled.drv
/gnu/store/zprc3208rfvxpmsq6bq943i2k3lbyijj-guile-json-4.7.3.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-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