/gnu/store/585pa72ajq15s49z04qihj0l0gia8q43-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0xvlmfd06rb8wlafyx3c2jbf3cr3rj6d-module-import.drv
/gnu/store/46whbk1aqnzda814zlkygk346ipfq405-gzip-1.10.drv
/gnu/store/5g5njmjivrki8z6930fmyxw8y9w0iqk0-gnutls-3.6.12.drv
/gnu/store/5hpgjrllayxw2108qhgn67s2x8yg6z7z-guile-3.0.2.drv
/gnu/store/9c7di3qzxi3j9jlv97mksywlv3mskpxj-module-import-compiled.drv
/gnu/store/qnga9r9553qmpib9vhl3vdnjr1w56yhc-tar-1.32.drv
/gnu/store/vmpkl3758ahqxx5952qkd0dc094fiic1-guile-json-3.5.0.drv
/gnu/store/xplfsls0fzazndbzy5cf5w3ybg8gpbiy-git-minimal-2.27.0.drv

Derivation details

Builder/gnu/store/4ywbx7c5j5g5g15gf3ckzglqfqsba1ji-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