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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/36rgcf6m5vsadmsvra7klcvjp7byg29l-module-import-compiled.drv
/gnu/store/4wx0sspw4z2gd8w6rxanffhqmwj2qkiz-gzip-1.10.drv
/gnu/store/adj4sv9ngg9j97856cdl6migxxzj4bck-module-import.drv
/gnu/store/bfb8nbn0zm3ppi48fnfl93rh7qq98avg-git-minimal-2.24.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/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