/gnu/store/zzh7kv907rk0lmrvywaxq4wfwn7wk36v-
frama-c-24.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/03qmjddsfk6vbnf6rx95ym9ppmrd7n7z-
module-import-compiled.drv
/gnu/store/03s6n065ky61cf4v8jp6sh18mh2351vc-
coreutils-8.32.drv
/gnu/store/0xmdhd4wwnn8xmx69pdiq050m7zfrlbm-
file-5.39.drv
/gnu/store/1wakmylb7j5n01bpicdsaqji4kn5yy19-
ocaml-menhir-20211012.drv
/gnu/store/28wy0kb6csnv314lnw6izl4n9slix5c0-
ocaml-biniou-1.2.1.drv
/gnu/store/35llkq1wfv89d71l8s63f5zj8nhb8887-
gawk-5.1.0.drv
/gnu/store/3k8pp9k6zr8b09825hiw4rahxf9gqspv-
ld-wrapper-0.drv
/gnu/store/45llj645qhrwvjxgfanwhrdlk9w9pc1r-
ocaml-easy-format-1.3.2.drv
/gnu/store/54yq91zljxm2cjsbs87c1bl0gzl457yh-
gzip-1.10.drv
/gnu/store/ad0k4rz34f89i29m352h73avfgji2q90-
ocaml-zarith-1.12.drv
/gnu/store/by3ma6qwjg4b42dcmix8nh6480whqi96-
ocaml-findlib-1.9.1.drv
/gnu/store/c7rl3y9605lxdqbx95jj4blfgsqqg5xa-
linux-libre-headers-5.10.35.drv
/gnu/store/ch5x2p7p62530c31g0kvn6klhyghadvm-
gmp-6.2.1.drv
/gnu/store/ci3pz9f731fvk9y2sm9h68qsk0xzn8mj-
gcc-10.3.0.drv
/gnu/store/clqb5z8wac8klv1cv6vaz6jacgqcckx4-
bzip2-1.0.8.drv
/gnu/store/cna1jjvhbjl7p64g5l6g1avgp0lbm7qm-
diffutils-3.8.drv
/gnu/store/df2zs3w15nrwcvjiik62141k194bvrz3-
bash-minimal-5.1.8.drv
/gnu/store/fpkw40q3m0fijknp7rkz8zc833xj2paj-
tar-1.34.drv
/gnu/store/hsfyw4i55nswj7lwimjmfi7f8xfih4vl-
frama-c-24.0-Chromium.tar.gz.drv
/gnu/store/hvw0xqsddjlsql65c4790h416nl7bsm4-
ocaml-yojson-1.7.0.drv
/gnu/store/igy8hh4md0ba5yzspgi0yjhi3hgfyn59-
ocaml-num-1.4.drv
/gnu/store/j0h5x3pdrmcv68rq34qfqgkshwm32w1h-
ocaml-graph-1.8.8.drv
/gnu/store/kvwxz6pqp7hjpn309mck60hd04n7frla-
why3-1.4.0.drv
/gnu/store/l9hsz8jq9r8yc7vd1q5wy70fb2kq627d-
findutils-4.8.0.drv
/gnu/store/nncdqbprlswiknf47ywyhpfnpna91da9-
sed-4.8.drv
/gnu/store/p60nasa2nf9h9hfiww04fwf32qsy5qhb-
make-4.3.drv
/gnu/store/p8spimpy5x8h3b675vpqvwrdr3cb3i24-
grep-3.6.drv
/gnu/store/qqp9a67cwhl6wdpxzyjlq926nm99y4ck-
binutils-2.37.drv
/gnu/store/qqqbwry4miiqiqsf4g6lxasby8906zhb-
glibc-utf8-locales-2.33.drv
/gnu/store/r92rrf17bfwh9ky5fdxfqf9zg74wv8cc-
patch-2.7.6.drv
/gnu/store/sfaiqj3q6p3b6w5myjnvxda58mqgw5b6-
guile-3.0.7.drv
/gnu/store/v4j05w5vm1kvbgqqwcsjhd67z0bijg7n-
glibc-2.33.drv
/gnu/store/x9vdk8ffi9h5safzbhsgf80683lyci1g-
camlzip-1.11.drv
/gnu/store/xc2f94j5jgkcyc2s2lavhlb3679vqj4l-
ocaml-4.11.1.drv
/gnu/store/xwwhbg30xbq5212ir8rzspwdlc3yfr49-
xz-5.2.5.drv
Derivation details
Builder
/gnu/store/dzngf7zg9qx119zr20xp0j7mg5fypwb8-
guile-3.0.7
/bin/guile
System
powerpc-linux
Build status
Unknown
Outputs
File name
/gnu/store/ddxhh0c42hd59qimy5xa3h7gmfi4cdyk-
frama-c-24.0