/gnu/store/9yn4zhma9y9l253lfrpv1l9q3nxqwzmw-agda-ial-1.5.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/116s8jql696ar82psn4yz733v7a7v4wn-gnutls-3.6.9.drv
/gnu/store/5j9x78k1nrddg49f88w9ca7dgwp3qq7w-tar-1.32.drv
/gnu/store/as8k2svps5pgk2pvyv549dgd79c849aa-guile-2.2.6.drv
/gnu/store/gaz1d6px5w1krl867vwbj3gn0w2vbdf4-module-import-compiled.drv
/gnu/store/imxsaqhc6bkaabfjcwk5bvfhfm50b7d4-guile-json-3.2.0.drv
/gnu/store/nikrkc6hy8j63m0pvkw4d7kzfza8rg4d-git-minimal-2.25.1.drv
/gnu/store/sba82kg1jf99d6qihf8x2p089phiysbk-module-import.drv
/gnu/store/zcd53aw9ncqpyjff2h9j5dak71g6krch-gzip-1.10.drv

Derivation details

Builder/gnu/store/50f18mlbj915vydqmm6nyvkh2b23vmf0-guile-2.2.6/bin/guile
Systemarmhf-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