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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1zn6li1b1xby04wriiihym1fa0fg915w-guile-json-3.5.0.drv
/gnu/store/9vdhixixlzzwg9fxxdy0nbs4hixwkh8r-gzip-1.10.drv
/gnu/store/kcla0d5r65fc7ghkg57phsgr6m257i2z-module-import.drv
/gnu/store/lfni2g2cxfnjwgqmk0rffb5wbla3xg6r-git-minimal-2.26.2.drv
/gnu/store/lwrwshfbqy4xv9xv1m1i5ggz2xkmjb62-tar-1.32.drv
/gnu/store/v5qp9nkmvs6bs29g4y07bhgv9gv1p5sy-module-import-compiled.drv
/gnu/store/v82x5q91pmgnlfdlianpvxi374l5aa72-guile-3.0.2.drv
/gnu/store/zcnrh5k89g3pqsn951w2if84qlrzg0a6-gnutls-3.6.12.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