/gnu/store/b7cjl8i8xkr8lasi0psfyxr7l6ry92xc-
frama-c-24.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/2pj3sgbgv1dqs4ck0cpmwcq8hww0ijz7-
diffutils-3.8.drv
/gnu/store/2vvphf0fcnbf2mmfc6ikiqxsnnjyrfny-
ocaml-4.11.1.drv
/gnu/store/582jlbcrbd99jbad45hab63pfix4qah9-
patch-2.7.6.drv
/gnu/store/659zwn412bb1hswxfh2mfdd83f4kkzvx-
camlzip-1.11.drv
/gnu/store/6q93pf09p6jnz7a9rljskibgrzps7m7s-
findutils-4.8.0.drv
/gnu/store/7zgavfs26byayvca1wc4lavdyxbi6ncd-
grep-3.6.drv
/gnu/store/a1n057fgq0yv5y01qmwyh55vxhpz2g66-
linux-libre-headers-5.10.35.drv
/gnu/store/b6r3mp4wffgsb4pklclbr5mfw7h94y7y-
tar-1.34.drv
/gnu/store/b7z6ns10slyqxnivwrrh48nsfj0xiyrf-
ocaml-zarith-1.12.drv
/gnu/store/bh15fcb7grhx731ccpays3vq7gvjl0fi-
gmp-6.2.1.drv
/gnu/store/c1rabbacg030wiar0wnbj2ksngi9hjkc-
ocaml-graph-1.8.8.drv
/gnu/store/cvy37ymqj6nm5b9rh15vdqy3ymz3wyc0-
bash-minimal-5.1.8.drv
/gnu/store/f4wblqmfngb4n5r5jgik8iqnsi0y2i8z-
ocaml-findlib-1.9.1.drv
/gnu/store/g5yz0jjaafrp6p3z6zp17284ijcik3f8-
ocaml-num-1.4.drv
/gnu/store/gg6mzbwal1pdqcv02ckhzvy3snfl8s9a-
coreutils-8.32.drv
/gnu/store/gsr8kmsbs2lhmimf025s72j5zf83dkjp-
file-5.39.drv
/gnu/store/idpm8mcvav5m7y1b35la0ikj57ywlpak-
make-4.3.drv
/gnu/store/ilisr6g1my3mdlrrngl50nfp64q5jc2d-
glibc-utf8-locales-2.33.drv
/gnu/store/in6n2gwf59xinb981qpfwarqx1skfn4n-
binutils-2.37.drv
/gnu/store/k1jvb5dvgj4w1g4d8br3a9nym4zpz54s-
sed-4.8.drv
/gnu/store/kdap0ai0817y98dzan68h9ffmccs089b-
gawk-5.1.0.drv
/gnu/store/lyqvrd1a2n5pkfn68mxk25y8d07b3ahs-
ld-wrapper-0.drv
/gnu/store/n84rnd8ncw5l50h698yvvwknypq181wm-
why3-1.4.0.drv
/gnu/store/nk1ndsdds1ixcgdc2bdvndczijkhfx1x-
gzip-1.10.drv
/gnu/store/nwf7fy6sj24yrvbrjd98aic1lwsxg9rh-
ocaml-biniou-1.2.1.drv
/gnu/store/nyz5cmppp735jnzrgbg0fdjjhq4qp0dp-
glibc-2.33.drv
/gnu/store/pzbmm2nd9g0pxnlgdnjr11yx0vhpkdss-
frama-c-24.0-Chromium.tar.gz.drv
/gnu/store/rijxrnxqmdyhf1ynz65842x1hlqqh683-
ocaml-easy-format-1.3.2.drv
/gnu/store/s4296bqxjqds954v6f9anjnb69xf04hk-
gcc-10.3.0.drv
/gnu/store/s759f3qbg6jficdmjzq3i7sl9arv04ri-
ocaml-menhir-20211012.drv
/gnu/store/wsssmjx1py9kzr1ay858mgpqjkil0584-
bzip2-1.0.8.drv
/gnu/store/x5askjynhkr7slhps9hmda3m28jsz3cv-
xz-5.2.5.drv
/gnu/store/xfay35qql6xzay6ha1rbzg797rdvj3j2-
guile-3.0.7.drv
/gnu/store/yv5xy2r093kh7wj2qn7x8m2h7rswgmn1-
module-import-compiled.drv
/gnu/store/zmmqib8mb338n2m6z1ncyc0hh8zaa52v-
ocaml-yojson-1.7.0.drv
Derivation details
Builder
/gnu/store/q7fwd9ri2ad3mgq8qnc1s6iir0qwls0d-
guile-3.0.7
/bin/guile
System
armhf-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/xkcpq1dy5kz25h79cxmmp04qv525i2wv-
frama-c-24.0