/gnu/store/9plny8jf1lj3drxpsi26x5g60j0n2y61-
frama-c-24.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0amsfhryksi3jbmxy745h3g0xnrfcnzw-
xz-5.2.5.drv
/gnu/store/0bpkgfiqsaza4vpcrsb3dgx85lpds2c0-
tar-1.34.drv
/gnu/store/0qna5b9nx29va2ccq8s38pmn5ngvnhhv-
frama-c-24.0-Chromium.tar.gz.drv
/gnu/store/2y5b4dh0l39ihikkcq1fsxyzjpafi286-
sed-4.8.drv
/gnu/store/3jrsias8r2cmh1fy992kx1qnb26xhh9f-
file-5.39.drv
/gnu/store/4anmpnkdains6nlbq5ri4mxm9fz3qr5l-
camlzip-1.11.drv
/gnu/store/4cvwyx92g72qqm7gy972r3yms2djg7qa-
ocaml-num-1.4.drv
/gnu/store/4s2yxbf0f8lijjqfa9wyx6j3qn98dbz7-
ocaml-zarith-1.12.drv
/gnu/store/5mbrym5imd3jg1rp60jip5jvhnl16x0w-
gcc-10.3.0.drv
/gnu/store/7j5s2vymxsbi0d4rv0jh8vsxnvd07795-
bzip2-1.0.8.drv
/gnu/store/84c3yihm0x12fhmh280b14y3bmyx7pdw-
gmp-6.2.1.drv
/gnu/store/8yxscr8mj8k21lwgwdimwna543cr69dq-
glibc-utf8-locales-2.33.drv
/gnu/store/9lkrz6cj6xy8syq4yhxaza7wwn58sm0n-
ocaml-biniou-1.2.1.drv
/gnu/store/b958can4drryxsam0bqd7z09mvifn4xb-
module-import-compiled.drv
/gnu/store/d215ri3v178bmdq6qv0piqd2n1yz4wxy-
gawk-5.1.0.drv
/gnu/store/dfkf9asg2ajcqjiz0d6wydw14higbvzp-
binutils-2.37.drv
/gnu/store/dkbbnyqx86l36ihxzxnjc3r3p9p818j3-
coreutils-8.32.drv
/gnu/store/f0qcd6gkdzz1slab3arggcyk593k1rpv-
ocaml-4.11.1.drv
/gnu/store/hc4mgpgw6rpjxj0nm09drv7a407qnp59-
ocaml-menhir-20211012.drv
/gnu/store/i1nd7yrq2qr9kw3gmzqhyafk4b9s220i-
ocaml-findlib-1.9.1.drv
/gnu/store/jy6757b5w7w9klp8j2b7b2l9msx9dxlz-
patch-2.7.6.drv
/gnu/store/kkjkdva4fx550hhdr98v9mnn9wf1aa9h-
glibc-2.33.drv
/gnu/store/lrs5jckrf3a4dvxh45xcrcz93kz8mnc5-
ld-wrapper-0.drv
/gnu/store/mjh95hyff9nf72rx8q2pxg9iv4xzvpr2-
bash-minimal-5.1.8.drv
/gnu/store/mnki0ncwzm76c2l0yqkgwrdxim1hhn0d-
linux-libre-headers-5.10.35.drv
/gnu/store/mrafakpbng271na8hx8hxlab5rr2ydqz-
grep-3.6.drv
/gnu/store/n3dbw1mwmg61ciyqxiyik4q7ksdmpf5z-
why3-1.4.0.drv
/gnu/store/qm2dyy938rcwzynpqfn6ayy84c2bz6l6-
make-4.3.drv
/gnu/store/r31kgfwpxf3kqa4d6q0g3xcav4g6jpr1-
ocaml-graph-1.8.8.drv
/gnu/store/rdcd8pc6jj5jvv73ga1z881whf0py1wr-
guile-3.0.7.drv
/gnu/store/s4m4jjihy4vhra2s7h7ry1cdph21sfwy-
ocaml-yojson-1.7.0.drv
/gnu/store/s543k0x4lv47dydnifda5l6cs4n2z3gw-
ocaml-easy-format-1.3.2.drv
/gnu/store/v5s34whbm7jq89jzazl9hym86vkgg770-
diffutils-3.8.drv
/gnu/store/vmw48ny7dspxljf5hpagmd8jg5gpn4rg-
findutils-4.8.0.drv
/gnu/store/xijfq2nhiap30il2k4krxjfbvzh9d3wi-
gzip-1.10.drv
Derivation details
Builder
/gnu/store/51a2z3p12w8h8bwih5zishd0waf4ry1m-
guile-3.0.7
/bin/guile
System
powerpc64le-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/h1lm5jcw3kb30wf2wfxaif9qa3z8mx47-
frama-c-24.0