/gnu/store/5f9bcmrkx48rmi7hiy615j96nbwy2bs4-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2fdfvha2b8kyl17s6y9c1vwy45gi8lj5-module-import-compiled.drv
/gnu/store/4bawqrbwdc20prjm5byqr2cjcw11ay82-module-import.drv
/gnu/store/fx1vnx8mk2hdz9j4ffsyvdivj2yndhvv-guile-3.0.2.drv
/gnu/store/imiimbnp9jmirbxvbifb3f7k0hsw2rbc-gnutls-3.6.12.drv
/gnu/store/kimd0qz7k78410jiiacszvnz5sxxqdcl-gzip-1.10.drv
/gnu/store/pxam15kxhnj8zbvg802wk5jps2kdgp2b-git-minimal-2.26.2.drv
/gnu/store/s7cl4v2gf5pk1pgdd55cvmnp6ld8lpdh-tar-1.32.drv
/gnu/store/wy085zd83szx1zm99hbz2kjma24972g4-guile-json-3.5.0.drv

Derivation details

Builder/gnu/store/lqmfa28llj2b0cbccjryjv39gkhp9c25-guile-3.0.2/bin/guile
Systemi586-gnu

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