/gnu/store/aimbvg99y3q6yjv6535nq91q63bvm49s-
coq-core-8.15.2-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/4cv4997px35692hymq0ikylw8655g5ka-
coq-core-8.15.2-checkout.drv
/gnu/store/4xqpk8a9yvdhh9z7bvqxlp4bhhh2j1wi-
patch-2.7.6.drv
/gnu/store/5k20iw84477c3i2fjadjvx27flwxv2gg-
guile-3.0.7.drv
/gnu/store/b3q82whxd5f6mhdsn72f8dwvfl1andg0-
xz-5.2.5.drv
/gnu/store/lpxsggp1lvcj3rj2rpg4j81qf6zrs3ib-
module-import-compiled.drv
/gnu/store/plx29l1fmrc1i87p2vcwcsv0xdndhwj2-
glibc-utf8-locales-2.33.drv
/gnu/store/vf66nsmpqnmn4s8341k1fncq19wbggl4-
tar-1.34.drv
Derivation details
Builder
/gnu/store/x3c8k0v2mmn0mjg3mh82zb3nmanfvq71-
guile-3.0.7
/bin/guile
System
powerpc64le-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org
Outputs
File name
/gnu/store/2zqcp4dawmxvn6iil445kig3zk5s6xam-
coq-core-8.15.2-checkout