/gnu/store/indc849vv4xa9ihxsvpwiygcwhbnf9b0-coq-gappa-1.4.6.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0pm74zfi1y8rdb843q5rpkrdb65v8fd8-file-5.38.drv
/gnu/store/1108srng8g4s2dfbg0b6qq7r3cgpwgwk-coq-flocq-3.3.1.drv
/gnu/store/2kpyjsvr5y5d3q56fj63bi38dqh5dr4z-autoconf-2.69.drv
/gnu/store/2v80i8pijmp4yfzgjx2qakqpb3s1mk4q-coq-8.13.2.drv
/gnu/store/32kpjmi62ik432nnv5pi1kbhvz064wai-which-2.21.drv
/gnu/store/3i9y3fsa822mpnq1yrr25l64y20n6ga6-sed-4.8.drv
/gnu/store/3iqp3w7a87zffbjm60s0ggfr9vs1jch5-linux-libre-headers-5.4.20.drv
/gnu/store/3qmh8vwlcn8hy4kmd5qvlxp2733p1ivs-grep-3.4.drv
/gnu/store/40i549gjqciisid1746wl9v11m5fpf97-ocaml-zarith-1.12.drv
/gnu/store/43qia6f8yzbhrl3ynbs0rwdqz5pv5h2x-tar-1.32.drv
/gnu/store/46621xm7gw5iy28vsli581ymd6awhpn5-findutils-4.7.0.drv
/gnu/store/4s03yx97dyjq5akfsyy6r1q014iaz4dd-boost-1.72.0.drv
/gnu/store/76wddj4470wvihqvp26nzvld1gpyfdv0-coq-gappa-1.4.6-checkout.drv
/gnu/store/7iyv80x63v3lf6jizrqnxvn1rcyibqg7-gcc-7.5.0.drv
/gnu/store/8a8ws6s32rvaracqrh0nl20q9vp7j5vv-bash-minimal-5.0.16.drv
/gnu/store/8ry87cl9bw3j68f0fmm03qclan7id57c-m4-1.4.18.drv
/gnu/store/bczmrfpiyraa47p4920vx5ikyh6lahvs-coreutils-8.32.drv
/gnu/store/bj7c1il49913wpbkhz4gpv78kxqs4jai-ocaml-4.11.1.drv
/gnu/store/c1fhprrnr87r7sc93a2sb1yl7pr2n1mp-make-4.3.drv
/gnu/store/dl8pvgw76v9y63qz312i54g5w8i751wx-bzip2-1.0.8.drv
/gnu/store/fwa3a2yvf0wr7bd1cydzxlpsz32b9p8b-camlp5-7.13.drv
/gnu/store/gc1q526hzzqprslnz8kgcdysadr119qx-glibc-utf8-locales-2.31.drv
/gnu/store/gq61ylfk729bk255gf0rzm2lmkldq2dc-binutils-2.34.drv
/gnu/store/gsw34jijh7zrhcz5kgwakc9d93ad6f60-gawk-5.0.1.drv
/gnu/store/kld6d0bh5pby6j6qbrm6qshaxxygv9wh-gzip-1.10.drv
/gnu/store/kp1dgd97xn49rx80m91nxy7b2wy0xj38-automake-1.16.2.drv
/gnu/store/lpa3465w5b44ah8jkvcvd40pa8dn3y8l-glibc-2.31.drv
/gnu/store/m2lrlblr48swpqn4c34m669qam3bhf0d-ld-wrapper-0.drv
/gnu/store/pk21fmd36ay87vnlc8n5d8gw6v57myjh-module-import-compiled.drv
/gnu/store/ppc2i3gqpcldffl9f4whp270s4zlvvhk-gmp-6.2.0.drv
/gnu/store/rkwlp67k0vqxpqs8qlz824aawax69fzl-diffutils-3.7.drv
/gnu/store/v2rkx24fgxcq9ymvgiv6ky58i4ph6n94-xz-5.2.4.drv
/gnu/store/vdhvsxa3dhp23nj58kyyhfyxvm38h9ib-flex-2.6.4.drv
/gnu/store/vkn43hgy6n2lxq98krvr086xw8xcj997-mpfr-4.0.2.drv
/gnu/store/xdw4dbd34l5xvmj038q3cwmg3pqzryv8-patch-2.7.6.drv
/gnu/store/xh29pgcqrnfv0q1c3pfk0d8920an4kgs-bison-3.5.3.drv
/gnu/store/xl3s08mjc3ka0rmm8ypncg35lwl8472q-guile-3.0.2.drv

Derivation details

Builder/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-guile-3.0.2/bin/guile
Systempowerpc64le-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/zplmaw5jr6ndacf9x0rnada9nwv7hrm8-coq-gappa-1.4.6