/gnu/store/j2vr58lm4bd3wg9ir378n49h9xk51hxr-
frama-c-24.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1777rbi45d479jn5xlzk3j52vcj09v8c-
xz-5.2.5.drv
/gnu/store/21nn2gv1nrz2pkpyc1n4r2dyv81wnx0i-
file-5.39.drv
/gnu/store/2m3fjizb90dch0nngl8wjzbfypmp7xz2-
ocaml-yojson-1.7.0.drv
/gnu/store/3z246c3cnk7h5ayjvlz2k9nkagbzm04i-
ocaml-menhir-20211012.drv
/gnu/store/4w2gk08ii2275ypshnjyqbnx2bwia44b-
gzip-1.10.drv
/gnu/store/5n1qn9ywqhb57s7z0dfpqnr6ahiq62s5-
module-import-compiled.drv
/gnu/store/5nnnyimf3l1r357y36k7kk8bc0sjdgnw-
grep-3.6.drv
/gnu/store/7dcnb21qwdxkzmvmj8005ifmnk43izb2-
ocaml-easy-format-1.3.2.drv
/gnu/store/bijl74byfwmkpmv1bbl72z30kapmzik8-
bash-minimal-5.1.8.drv
/gnu/store/bnwga2jy2akrmi392ynxg6mkw2n9h32w-
guile-3.0.7.drv
/gnu/store/cwvivkxfigp0pw0y97cbdd3zdp8jw7ra-
hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/d60s0p73msx74cpa70pvh7ijx55qb42j-
sed-4.8.drv
/gnu/store/fazbjjgndl7g3qzlw9c104nqnc5yd2kq-
gawk-5.1.0.drv
/gnu/store/fis64fpwp5jj4fzi3hn0hhx36h7j1yrg-
camlzip-1.11.drv
/gnu/store/gbr48s9ka0ibv9gsw5sgcjjvf8ipl5q2-
binutils-2.37.drv
/gnu/store/gcy9fi5kgi0gw5kpzxvc9p5229r66w2c-
make-4.3.drv
/gnu/store/hjblmzqhbjr5fam5f3r89r3f565xz2r0-
coreutils-8.32.drv
/gnu/store/ili82d3f05345f3fqca9k3c8jxav12dq-
frama-c-24.0-Chromium.tar.gz.drv
/gnu/store/jmr64bhxck96h7xqarmj2i9ssk7bl9vc-
why3-1.4.0.drv
/gnu/store/k3nanbg7ks25pwz2x4n1n6zcvwvnsv89-
diffutils-3.8.drv
/gnu/store/mpzmpalbfxcxv515gbyfzbfhb9dcxg8p-
ocaml-graph-1.8.8.drv
/gnu/store/n6cacz6bbzyg5d1gf4xaghfy58gqhyq7-
patch-2.7.6.drv
/gnu/store/nyi1fkgmagvika0k50g13wlz44y5s1mb-
ocaml-biniou-1.2.1.drv
/gnu/store/q0nsyi1k8chhxy5b2cxiv8r9blvadhlg-
glibc-2.33.drv
/gnu/store/qw9f7vk20n8lcb80i0h5xvgj492svfj5-
findutils-4.8.0.drv
/gnu/store/rpg11x40cgryirq0fbj1ads4c740j7xm-
tar-1.34.drv
/gnu/store/v1pfdjywp577480wfkd8zzz6rsza1dv5-
gmp-6.2.1.drv
/gnu/store/vvqll2zg8c18imayx1r9b7xv2ka2g9g6-
ocaml-num-1.4.drv
/gnu/store/wfg2csx0p543ldvddgmksyr2q7ykh710-
gcc-10.3.0.drv
/gnu/store/y8ajjyrk6wvc9jmva6ll3ba41mnqialx-
ocaml-findlib-1.9.1.drv
/gnu/store/yins42m3s3lqf896lzbxldlxr20m0d69-
ld-wrapper-0.drv
/gnu/store/z0cbhnvachqaspbmk8lwsk274y10hnp1-
bzip2-1.0.8.drv
/gnu/store/z2ana7fzcxmijfja6s7bhfnw4lpagdwl-
ocaml-4.11.1.drv
/gnu/store/z2pa2hj3d1yavwd4fhamlchqrwzc18c8-
glibc-utf8-locales-2.33.drv
/gnu/store/z85cy4g6s4abl1smll5npf9gz7dwrz9z-
ocaml-zarith-1.12.drv
Derivation details
Builder
/gnu/store/cfhzjs744xnz9h2py7d3yqqgqys2kzj4-
guile-3.0.7
/bin/guile
System
i586-gnu
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/ykwcjql926gxvj01ca821vp9rddwvndc-
frama-c-24.0