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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/4nr63xbkdrn4bagky24ndhdxl2i79iah-gzip-1.10.drv
/gnu/store/68bk4p30h0gi27i09vghg8p7na8x5if7-glibc-utf8-locales-2.33.drv
/gnu/store/6nnsh9547xf5m928q2r0741nxpajrb71-guile-zlib-0.1.0.drv
/gnu/store/pwkxa41z72nmgbhms6q4kv7i562acv23-gnutls-3.7.2.drv
/gnu/store/r30avms85sxv73bq5czmd4fwplg9g26w-module-import-compiled.drv
/gnu/store/rdisbmgprbsw34n66gwvka6dmmq0z855-guile-3.0.7.drv
/gnu/store/skx0mqgqlqwl66xispaj49wqhnailrnl-tar-1.34.drv
/gnu/store/vhd03pq7ar0ncwrck23103bzq0spv7s4-guile-json-4.7.1.drv
/gnu/store/w4c7vpaxs7j8sq23miha6wg2g8m1bq1v-git-minimal-2.37.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