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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0065xp7yyi5f2gi4d5gn7wsgi5dsihs5-gnutls-3.7.2.drv
/gnu/store/0d7q272kph6m1haxsrz3w6hg5b86f2m8-guile-3.0.7.drv
/gnu/store/6dpi84jfssjx9152fdf7yaya5c1vsicb-tar-1.34.drv
/gnu/store/6i64bsrxjcp9cav2fi5dd2xz8zjkxp4c-gzip-1.10.drv
/gnu/store/6vgqd7k2501nf2bqarci5ir9a1vwf0by-git-minimal-2.34.0.drv
/gnu/store/9nf8pijzjgcghnnrmb7p01gdp5bnbrwq-guile-zlib-0.1.0.drv
/gnu/store/adwajd1bhpvr6z7fgv986dydq7z5pwpv-module-import-compiled.drv
/gnu/store/gnv107zy1jzx1j6yfz8l9i4r10p9hvm3-guile-json-4.5.2.drv

Derivation details

Builder/gnu/store/jqkrcmslxq8azqlnq1dcm49i6m5fx2dd-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