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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/4wx0sspw4z2gd8w6rxanffhqmwj2qkiz-gzip-1.10.drv
/gnu/store/7pwk7bbg37nfilahxhzbfhrx41d4jbxm-module-import-compiled.drv
/gnu/store/ak8g3crbbw9pl8d9ga73q697ncdmh86w-git-minimal-2.25.1.drv
/gnu/store/bhsmvc69fy1mipccvavlqkhp1z89mdzk-gnutls-3.6.9.drv
/gnu/store/ib1zg9ad146vs59wk47b9n2jdms9c5mq-guile-json-3.2.0.drv
/gnu/store/imq41gd3q2767il9gq6mqh5cv44x09rf-guile-2.2.6.drv
/gnu/store/rr65q6x48s36gd4s94bxn3pw71lyn7p2-module-import.drv
/gnu/store/v1x740g6rhj3x143y0q36a3rgl6q1rjv-tar-1.32.drv

Derivation details

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