/gnu/store/pdj5mfsbg69123f1xrmhd0b6ix4mgclw-coq-flocq-3.4.2-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2vxbfgs7ph3nwzmkg89s3cqffrpggbs5-tar-1.34.drv
/gnu/store/3jnjrafsg1s0qb1cq7ific00qvgjhna6-gnutls-3.7.2.drv
/gnu/store/4rx3aspgb1yaafbchsyrn4zy552qyn4y-git-minimal-2.34.0.drv
/gnu/store/dj9969d173hgdbcqb712gnssm8s2q3nh-gzip-1.10.drv
/gnu/store/h792rni1bknbcpv9qi3q6p84h83v2mb6-guile-json-4.5.2.drv
/gnu/store/lrahmd3g2ij62h0jcxi06xjiyvwk2nnk-module-import-compiled.drv
/gnu/store/n1kwc86a063ybi4dxjn41273k1rsvb08-guile-3.0.7.drv
/gnu/store/q2xfx8fwrisnbk3ccl8p2qz9w5mswdjw-guile-zlib-0.1.0.drv

Derivation details

Builder/gnu/store/hii8vfc898aha0x3qdss12dk9gzimnsj-guile-3.0.7/bin/guile
Systemaarch64-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/
Scheduled
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/

Outputs

File name
/gnu/store/ifg8kcl50zsxn5yygfvnssnbvj4s2h22-coq-flocq-3.4.2-checkout