/gnu/store/xdfa2iz3573jz7818r8fmzq8scgriix8-
coq-core-8.15.1-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1zqnv048bww5kqzylqyjyl879b74q7z1-
patch-2.7.6.drv
/gnu/store/3vb0j624crd8n30j7s6xh1l78v1lr5k0-
glibc-utf8-locales-2.33.drv
/gnu/store/az52r84zcinlsd507s6z36dpxyfppz1s-
module-import-compiled.drv
/gnu/store/jrkyfj83gakj2vmqylvaxvkx8iczai4a-
tar-1.34.drv
/gnu/store/k36ci6xrh700xkswqpls3cj4lb1nrbs0-
xz-5.2.5.drv
/gnu/store/n335ln43kcnhjx3dxgknf6kwrx0gjrp4-
coq-core-8.15.1-checkout.drv
/gnu/store/vkd5iwliinwn4wv1dhrkp83lzl78kdww-
guile-3.0.7.drv
Derivation details
Builder
/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-
guile-3.0.7
/bin/guile
System
aarch64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/n60pa8jwrry65bjw7w82zikjc5ymszvk-
coq-core-8.15.1-checkout