/gnu/store/f8cj3mxz2q2k8nw3b2m0njf7mrsbhz5d-
coq-8.11.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0f3if237nq0fhm76s0h063lagkq1kkmp-
lablgtk-3.1.1.drv
/gnu/store/0xkvrf0f7kc5pjanpi0wm7f54ry8i1as-
binutils-2.34.drv
/gnu/store/1ffypg3jdfzp2y92hbc9dq14h2xk3njn-
grep-3.4.drv
/gnu/store/20rqxq838ykbm97pq5515qjmmk5as4k5-
rsync-3.1.3.drv
/gnu/store/3nl79cwh6ndz886qiclrzdqyk0mv5yac-
gawk-5.0.1.drv
/gnu/store/44b77nkr15ymb2xzls9df2vdwxgra8n4-
bzip2-1.0.8.drv
/gnu/store/5y6k19nxs9y058s3439qb4r2n6zs0plm-
glibc-utf8-locales-2.31.drv
/gnu/store/6a2f0hxrfgj29wjv836w2f7011nxcm8i-
guile-3.0.2.drv
/gnu/store/6xc234jkaf3l3yy4lhn2mwbnwl7284w9-
file-5.38.drv
/gnu/store/7yyr1f2f7xqcxab1jls00fadd9n4rlfx-
diffutils-3.7.drv
/gnu/store/8gmnbssnhxixxy3q0d8s5m2pqig55g2y-
python2-2.7.17.drv
/gnu/store/9rdm3xdf06kjwd6r4j0ndb8lj5j2zcz9-
patch-2.7.6.drv
/gnu/store/bl9a3ndrp6imd9gpsmjdkb8gml9zqfdd-
ocaml-num-1.4.drv
/gnu/store/cw09r6ljgwzmys7509p03a7h8szk7n9s-
sed-4.8.drv
/gnu/store/dcr7vsp3dclcmg4jdfxkm2x45w3bqcdi-
coreutils-8.32.drv
/gnu/store/dsn0l3yizasam9jnjd13kjahn6yk0nzj-
ocaml-4.11.1.drv
/gnu/store/fsplzmdids1qk9ij91zijh94ld52i0f0-
findutils-4.7.0.drv
/gnu/store/g3v32hfzwwyd38a0w5wnh2xvcwixpkwb-
tar-1.32.drv
/gnu/store/gqwmxmpgwizs0qyx7hz8wadwzq4x0kqf-
ld-wrapper-0.drv
/gnu/store/i9c0ixlrv6v8smg0zp3vzcdf0cv9ipby-
gzip-1.10.drv
/gnu/store/jjnryda37bsa0x6nv2m3p1w1karx69j5-
xz-5.2.4.drv
/gnu/store/lmwiab5zpb47ikaw29rhl5sxp2mxwj4m-
camlp5-7.13.drv
/gnu/store/qzbyhkhhg910cklqd62hdfh2q6k453xs-
ocaml-findlib-1.8.1.drv
/gnu/store/r0di7nvszw701963qkv0wg3hlc3y7v3b-
glibc-2.31.drv
/gnu/store/rynd47pn7600wy6hsf2v6m5rya9gq11y-
ocaml-ounit-2.0.8.drv
/gnu/store/skk9bsjhy18zngdxx34isv1ancb4r8zd-
gcc-7.5.0.drv
/gnu/store/ssilh8azb4a1svgcknz4vj5vcyfzys63-
module-import-compiled.drv
/gnu/store/v5rpppfz7ynfnqaaczgq2hr6pb11fkhz-
which-2.21.drv
/gnu/store/v61vdxzjkandmzw0bwd5w5clz32gjj1b-
make-4.3.drv
/gnu/store/w0kmv353ph5ny67ab1ynix3d5iv1qnwl-
linux-libre-headers-5.4.20.drv
/gnu/store/y38vrlf3k04zh9js19n4kwr5ay533lng-
coq-8.11.2-checkout.drv
/gnu/store/yay9nk04cqj4rj46v8npjlvgzhx2sp8x-
ocaml-cairo2-0.6.1.drv
/gnu/store/yc8dc970h9lsav1ib0pfnphz4vsfqlgx-
bash-minimal-5.0.16.drv
Derivation details
Builder
/gnu/store/b0b0qp5lwhwxfrav1bxrq3d9y4iz5f77-
guile-3.0.2
/bin/guile
System
powerpc64le-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/rvy8321g6ydkjxk72g77ld5jrxlh80nq-
coq-8.11.2-ide
/gnu/store/114fyvivzsqvg7gcbksgrya3j8vryzhh-
coq-8.11.2