/gnu/store/6q4s77vpqc7jvnxbj49ss7zlfy08pp9v-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/10qdn4b79xq9igp9nw59k48lzqqgqn9x-module-import-compiled.drv
/gnu/store/1s1izmdn2xnznrj5mrfil6ibmcb7ishh-guile-3.0.7.drv
/gnu/store/6ynvjkk6yzkpsl0x703hlvdrmp96plm1-guile-zlib-0.1.0.drv
/gnu/store/cmiqs6lp2ss4i3f9cy5vsinh7795bxcy-gzip-1.10.drv
/gnu/store/ifvnf3rwyhhgjman6qn332j2sfn8hlp5-guile-json-4.7.1.drv
/gnu/store/is5v7n0dlg6w560rfivhirgfdr994819-git-minimal-2.37.3.drv
/gnu/store/snyyq4ssjff5ajwswwg4absrhfv8pc4z-tar-1.34.drv
/gnu/store/vc0vl7hr2zww8rsgcz2218iw929714g0-glibc-utf8-locales-2.33.drv
/gnu/store/vwjj3hxvc9bnz89zx63qkyyl428cyc9q-gnutls-3.7.2.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/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