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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2dglcilyzk5xy7zliy8g3rxahn6i4bpf-guile-json-3.2.0.drv
/gnu/store/4lypa1kzpzapf3hgg87fnq38s9mjl3fp-module-import-compiled.drv
/gnu/store/a130s6517fv2439mwciardfyaay0h7zc-git-minimal-2.25.0.drv
/gnu/store/hnj5vflg9jiwjv8hs8p929z72zqhcr7h-gnutls-3.6.11.1.drv
/gnu/store/kzg4f871cf0k286fwyasvb2lzhi65zh3-module-import.drv
/gnu/store/q14il56s8dh73lha2ypqxkadcvfwy945-guile-2.2.6.drv
/gnu/store/x9432gv0pqb46gkxmhpadhcr51l5jjfl-gzip-1.10.drv
/gnu/store/ypbczw8zv4kmnfmvdqk0r3hiiapn0v0f-tar-1.32.drv

Derivation details

Builder/gnu/store/ifb4kmg6fwn90b3swl47lpraa7g3fagw-guile-2.2.6/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