/gnu/store/1yml5xs9p92xc3m4x6jh9i3p16yv8sav-
frama-c-24.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/2zcg58n0a2f2n0dvd87vwlla7pd714gh-
ocaml-yojson-1.7.0.drv
/gnu/store/3h470jjjwbqd2595idg5krsalzbj38l5-
gzip-1.10.drv
/gnu/store/3ip4dpzwdczlsj3m6mpfz7sk0bwfgccx-
ocaml-menhir-20211012.drv
/gnu/store/4c124a7l1ll32bnbs3xa6z6b9kal9cp4-
ocaml-biniou-1.2.1.drv
/gnu/store/62d9nlh1ca5nw31vdhm8qzsvcnh3pjg2-
linux-libre-headers-5.10.35.drv
/gnu/store/7kx6zmsdvy6jd8jpi2241m6832slpf00-
coreutils-8.32.drv
/gnu/store/8f51j9zb2x8pw57b3qh7q4h5igjgav01-
ocaml-zarith-1.12.drv
/gnu/store/9igxw43plhyj55xdnrsagc4b9s2yfh2j-
frama-c-24.0-Chromium.tar.gz.drv
/gnu/store/ar55cah25bvm3595ngcfx3lmziak5z86-
ocaml-graph-1.8.8.drv
/gnu/store/bkdxjqv8zslm23n34kmb34xzgxa7g05x-
ocaml-findlib-1.9.1.drv
/gnu/store/bmlcx0k2ypi8l8xvhr14p4160vlyzx56-
ocaml-4.11.1.drv
/gnu/store/bwdvhps7bgxyqsbzh201bidyd4wxh8as-
ld-wrapper-0.drv
/gnu/store/dzbdalkd4bpqld9pfbm7bbpnbj3ar74q-
xz-5.2.5.drv
/gnu/store/f2bih67x1l1k39j9390r9yw3yj7p4gzc-
tar-1.34.drv
/gnu/store/f4pajzc9vmf296clsf3zm68kw8y4ax4i-
camlzip-1.11.drv
/gnu/store/fhkw01z4ry1xpyhxw44pjdsb10zy09xh-
gawk-5.1.0.drv
/gnu/store/gc2xa3vdqqqbhxrqv1hp3skd89hz7749-
ocaml-num-1.4.drv
/gnu/store/grbrhzbj0sil774wpflrniirh4fzx3w5-
gmp-6.2.1.drv
/gnu/store/jcvr8pxrbg8dh0cwf4qp29lwqrrk9hrl-
glibc-utf8-locales-2.33.drv
/gnu/store/jzqi4f3rlqfgc3dgpr5b9miryy9zw9hl-
patch-2.7.6.drv
/gnu/store/ks04y8y952k1bsy6yl2g2lkpg00dfa0y-
diffutils-3.8.drv
/gnu/store/l3rrmnrgqb2azrj7hrhfkq9rszkarv67-
file-5.39.drv
/gnu/store/la0lf0z2zvlp4j2yw2zkjlcq69pd549w-
bash-minimal-5.1.8.drv
/gnu/store/lanp6jywkw3z22swdp07qkbic429qxmb-
findutils-4.8.0.drv
/gnu/store/n1kwc86a063ybi4dxjn41273k1rsvb08-
guile-3.0.7.drv
/gnu/store/nbv736y44rjddfx0c751h2lcmplf3g4h-
binutils-2.37.drv
/gnu/store/psi119y6nvbk7rszy9hp48vahqya3vs2-
sed-4.8.drv
/gnu/store/rqp95yjaarjvxgwvvbd0cnj2i8p1dwsh-
bzip2-1.0.8.drv
/gnu/store/w7h47ywmlvszp6c6qbr03z93h64y6asy-
glibc-2.33.drv
/gnu/store/wgvs9jm13mknxvccdl560bcjjlr715w9-
ocaml-easy-format-1.3.2.drv
/gnu/store/x922xg6jnicxss9rlffawzfhxxwgl4ns-
grep-3.6.drv
/gnu/store/y57c0yya5xcpkj4zcv1yq4iv5mjf2gcb-
module-import-compiled.drv
/gnu/store/ydsir5yv5y0r3miww2hd2qrg4mh92cdb-
make-4.3.drv
/gnu/store/yif76q3hz3p2qhfinlynl7890s10n4ma-
gcc-10.3.0.drv
/gnu/store/zn0shwhk5npry2vkhhin9472pkjdigv8-
why3-1.4.0.drv
Derivation details
Builder
/gnu/store/hii8vfc898aha0x3qdss12dk9gzimnsj-
guile-3.0.7
/bin/guile
System
aarch64-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/95psadiaj9k68iyrf40dhy0iikz3n4kj-
frama-c-24.0