/gnu/store/2i17bz0pgj7v0jsj52yzshfsjyxgplf2-
frama-c-24.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0bdi40qis18djygfkn4jqzb7s3l0s255-
bzip2-1.0.8.drv
/gnu/store/1yab5w8zcf8w7w2ap1kd2p8msr11m0wh-
frama-c-24.0-Chromium.tar.gz.drv
/gnu/store/24s8nqjsjjwsncbj8g187ar3zimi3w0k-
file-5.39.drv
/gnu/store/44493in7r6dc73fdkh14yjj5zm47zn0f-
ocaml-yojson-1.7.0.drv
/gnu/store/53j2fr5c24xjhkp4zkrij45c79bmlpaf-
make-4.3.drv
/gnu/store/5403b8011pry9bg8vzfs5ndqmh5cb2fj-
why3-1.4.0.drv
/gnu/store/6s13q1b7hwi2wf4x7naicl5g64280j9p-
glibc-2.33.drv
/gnu/store/8av92v1rndjq13vr18407n12r82pzzfs-
ocaml-menhir-20211012.drv
/gnu/store/9qx5ksnhsgj5j63gl3wzsvqs5xaizgjn-
glibc-utf8-locales-2.33.drv
/gnu/store/cw39s6gwh7dydfkfrkg2m7s8wvdxmgv3-
module-import-compiled.drv
/gnu/store/dq5i5gvml9zsh41g49vzr6043mnrzmir-
sed-4.8.drv
/gnu/store/f9ygbq59kbmqfg6hl9klks4hidwidxjy-
diffutils-3.8.drv
/gnu/store/fngw5sn48gs080h4h8yj9z8966a5grvm-
gmp-6.2.1.drv
/gnu/store/g6vg7l03vhsgvbl0m089x0shsqsq7cv0-
gawk-5.1.0.drv
/gnu/store/gigpq1z2axpd59r5yrhr72c3v3myiz0f-
guile-3.0.7.drv
/gnu/store/gxzsdvbgr3sv5ppyd2p4nhrd61j5rr1k-
ocaml-graph-1.8.8.drv
/gnu/store/im437hpk4zw1bgasq75vwsqy2z74affl-
binutils-2.37.drv
/gnu/store/ipxs8y5bmg7ghdr7hm95kv6xbc17ims2-
xz-5.2.5.drv
/gnu/store/jskqc47l331p2mk29b076prbbiqz5j9h-
findutils-4.8.0.drv
/gnu/store/kd2n656fnxflr7iqr1y1v80n4ar9k5w5-
bash-minimal-5.1.8.drv
/gnu/store/ldggxg5w2wic8x5d64xqin5z4wsvzpf8-
linux-libre-headers-5.10.35.drv
/gnu/store/m3w1g03sp242d3xps7nxw772xpk80r32-
patch-2.7.6.drv
/gnu/store/nc286n59yffcahz0kda5pndcw9s59pc3-
ocaml-biniou-1.2.1.drv
/gnu/store/npi8flvdqrwci5wkibwmsghp97i0iy4x-
ocaml-easy-format-1.3.2.drv
/gnu/store/pkj378sl73rrxcm99z67nj88pxfa6v9y-
gcc-10.3.0.drv
/gnu/store/qncff7ks4n4z366pw4fw34ykq7rrf14w-
gzip-1.10.drv
/gnu/store/r268381b6bfliqxiyj9sqzj2qpha58b2-
ocaml-4.11.1.drv
/gnu/store/rbmx6b6f42cyjj7q6f5209x6fv7zcqpd-
tar-1.34.drv
/gnu/store/v6fwx6j2vdqjc1kvvzfipzc93zfjisiv-
coreutils-8.32.drv
/gnu/store/vq7n4qq8y3lx0j2az5lqgwfm18m7awyy-
ld-wrapper-0.drv
/gnu/store/vrzs261m3z27khcxhwz25mdfwykn0q3c-
ocaml-findlib-1.9.1.drv
/gnu/store/wg8474d8gbwyr4y01d0r0v1bb3iy8374-
ocaml-num-1.4.drv
/gnu/store/wq73dhji4jqyalkvak3w5fwvjayqfqa8-
grep-3.6.drv
/gnu/store/y42fr2xld4xd1nl8yhqn7bdq1fs5hic7-
camlzip-1.11.drv
/gnu/store/zds15pnlpi0x3qgg30r1d4favikvk7r1-
ocaml-zarith-1.12.drv
Derivation details
Builder
/gnu/store/8wn5hc06b064gsmd51p8a7fm20zvdlpp-
guile-3.0.7
/bin/guile
System
mips64el-linux
Build status
Unknown
Outputs
File name
/gnu/store/9ly991gkgcp3k2i56sy5b53dq10vqqsm-
frama-c-24.0