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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2vqy20xkrgj57rq8hqba61fqglcy6bib-module-import-compiled.drv
/gnu/store/58v7h6zgs0hvfvp73ra9ry4bqdcpw5k3-tar-1.34.drv
/gnu/store/a25ywk9l6brfaky2g532pq07w4cwgjjp-guile-json-4.7.3.drv
/gnu/store/ahxxvs1k6pbdz064f6sdh2ha3wnd2gf0-gzip-1.10.drv
/gnu/store/f0b74sjclwrqzqic9n4g7ckn3idzg3by-guile-zlib-0.1.0.drv
/gnu/store/k8jkxiizpx0n29cj83qfv5fcgv4y3pis-git-minimal-2.39.1.drv
/gnu/store/lgc543pmp31ckydpnjcq9mm12kc0pnzr-gnutls-3.7.2.drv
/gnu/store/pax2g9y6icgxabm9x870mdvvawga3i66-glibc-utf8-locales-2.33.drv
/gnu/store/xj93zisjp180s5h61jyvzdpj4a4k59kc-guile-3.0.7.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