/gnu/store/6hhh8chycxgbdlal9sx5qkg027gyaq91-
frama-c-24.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/09v5jx2dmrm62l8y7xvdhlx9cr0sj386-
ld-wrapper-0.drv
/gnu/store/0d7q272kph6m1haxsrz3w6hg5b86f2m8-
guile-3.0.7.drv
/gnu/store/46drv929wn5vfwcvaqqm00nlm08mcd3l-
glibc-2.33.drv
/gnu/store/5641gd5hc2ch5ky9d3nc7h48xq87fxia-
gawk-5.1.0.drv
/gnu/store/58asdaxv19x5gq072vfw6ifb45nkfqns-
camlzip-1.11.drv
/gnu/store/5g967iidpbfkd35w3rqjn1s6rbfz90yg-
findutils-4.8.0.drv
/gnu/store/71c2axqhpd4ljjjasv3bkl2pyih4md75-
make-4.3.drv
/gnu/store/98nfrv7vpiy1r2kl5grmkvxnakdrgdxs-
file-5.39.drv
/gnu/store/a8c9mwf3jpxkz5y49ghi4kyxj34021m6-
ocaml-findlib-1.9.1.drv
/gnu/store/agjqf7qd0ay3wh866pjr6yaw29akw52z-
ocaml-4.11.1.drv
/gnu/store/akvl6y7hvgii0adbisj5vglz7nyifvqr-
ocaml-yojson-1.7.0.drv
/gnu/store/b0pk4ikr1pfpsl7bi5ip84apd486fm2i-
ocaml-graph-1.8.8.drv
/gnu/store/bca1gf6pcmjjwaa6hilm3m2k56r23sk0-
patch-2.7.6.drv
/gnu/store/chds50v8sz74gl3qqshg5cdci4d6s0v2-
diffutils-3.8.drv
/gnu/store/dn8x06jx5rbwib7i127h7imjaip199wl-
ocaml-zarith-1.12.drv
/gnu/store/fzsf0blrzvn1qv71z17c66mnlfgcwkqb-
binutils-2.37.drv
/gnu/store/isp9kn9if5pjlkkp87l08mcvkh7p0472-
glibc-utf8-locales-2.33.drv
/gnu/store/iypzw00n6fnr4gjz3wb7d1l9l1rkfzsm-
sed-4.8.drv
/gnu/store/jfc4svpwd1y17y44rkgll70ydm8jbprp-
module-import-compiled.drv
/gnu/store/kcqvpxbjnab73rp4hajhag0cl83dsahd-
ocaml-num-1.4.drv
/gnu/store/kw2akzcsbydlrjm81ydj4zjp18w7qpcd-
xz-5.2.5.drv
/gnu/store/mkyymfq95y6fls9zlvc8kzr42sgyxy81-
bash-minimal-5.1.8.drv
/gnu/store/myp4izd8w1k1jxj98k7mb91a6gi8mh20-
why3-1.4.0.drv
/gnu/store/p9kdszbsk9xiwi3vbzzwhy6b4ink4yms-
tar-1.34.drv
/gnu/store/picw2zhfnhja65l82dwx6nkybwd29a73-
coreutils-8.32.drv
/gnu/store/piwqybvacpixwl277cbnx2a4k8c3y9fi-
bzip2-1.0.8.drv
/gnu/store/r9s8xk985p6wl2bsn4xwsbjilxz37q4k-
gmp-6.2.1.drv
/gnu/store/s18kbkhydqv7wrnvn2n2fp62xn23cfn2-
frama-c-24.0-Chromium.tar.gz.drv
/gnu/store/sjdgjid88qxwfacf1ghlcxqvf16871cb-
ocaml-menhir-20211012.drv
/gnu/store/vf6qszn3yci2mpvj5mbg9q9wj8y6qmbh-
grep-3.6.drv
/gnu/store/xadflgmbv74l1r9wv2m2v3f27laj1xq8-
linux-libre-headers-5.10.35.drv
/gnu/store/xrmppxwviapigrhgdhmy45i04y36xm18-
ocaml-easy-format-1.3.2.drv
/gnu/store/y3agywpiql0fglnrzdz4yaxif7017jhz-
ocaml-biniou-1.2.1.drv
/gnu/store/z0726j7z6x7jh1in2hxdc3i1n4hz7ym7-
gzip-1.10.drv
/gnu/store/zhjzgfswhw8ngb3a65k29nd8wyzvbq13-
gcc-10.3.0.drv
Derivation details
Builder
/gnu/store/jqkrcmslxq8azqlnq1dcm49i6m5fx2dd-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/sgpl5lmdq6z73mca4hgw7ndd0nsqwcf1-
frama-c-24.0