/gnu/store/a8ljqhfjxs7b8d8hnyyhldpn4hzaxla5-
coq-stdlib-8.15.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/164h3p5h7r9yg4l6x4pg2r4p0hjflwfd-
file-5.39.drv
/gnu/store/1c5h072g91r88kfsvs39xaaj8gzkf2yl-
dune-configurator-3.4.1.drv
/gnu/store/331mrjiszlg31b4nk55v7b4il2bydcn2-
gcc-10.3.0.drv
/gnu/store/3iybq2jc3f31lkd5vjy21si46f18ssch-
sed-4.8.drv
/gnu/store/68bk4p30h0gi27i09vghg8p7na8x5if7-
glibc-utf8-locales-2.33.drv
/gnu/store/71lbjhpsr53k469285np7bi1jcl4ai9m-
diffutils-3.8.drv
/gnu/store/8xc1bfjwbpvwsp4k1nyggxanr2myzizy-
make-4.3.drv
/gnu/store/8yl5vn52vmvg1658c0jvx6sg1kxdrgsz-
ocaml-zarith-1.12.drv
/gnu/store/a8w9gimb194k8lc0q1w5vsd4b7c6kccx-
binutils-2.37.drv
/gnu/store/ag7c6c4w8izbphplq8fn44jcdsl35sib-
findutils-4.8.0.drv
/gnu/store/aslpf461szpmiw79z8yfvxpsinbdx6k5-
module-import-compiled.drv
/gnu/store/cqahmz789nq0pbf0rrdrdjkhm8afzd09-
gmp-6.2.1.drv
/gnu/store/d52s134may167xm6v7d8afry4ybxmlxx-
gawk-5.1.0.drv
/gnu/store/dnigpqv3vc8iv2rz5i338mz4q8pp4m04-
glibc-2.33.drv
/gnu/store/dq36cgqiz7f8djr3lg2s0sgsh4g1ckdh-
coreutils-8.32.drv
/gnu/store/f8nlkdsdyf0qrmgyyp18j1cwhvhbpjs5-
ocaml-findlib-1.9.3.drv
/gnu/store/fdyjy9gxy5gw5y9nic2fsvcw1hwdsy0f-
ld-wrapper-0.drv
/gnu/store/fr2b8d6n2jhb3z0qxwx0d65mxmf58wxn-
patch-2.7.6.drv
/gnu/store/g5ig91ap7f589qdjl4s6m82cci8q9yqq-
gzip-1.10.drv
/gnu/store/hg5r6c5440yw14sjys6vbivjjwcb2nym-
bzip2-1.0.8.drv
/gnu/store/i5bya80cxgbfz1858r7a6lkvk2j6ip0i-
grep-3.6.drv
/gnu/store/jmfxyqx7gc79i42i5x9hvyf0kshcq2zs-
bash-minimal-5.1.8.drv
/gnu/store/k1bc68v48fpmv2km2zswpm6d9fsmq6j2-
dune-3.4.1.drv
/gnu/store/lwzzr03gv430p9g2x4vj2jifvv57zbkh-
linux-libre-headers-5.10.35.drv
/gnu/store/mpgzfx75zy9zad0w9lfcdq3mxhn4l0rf-
ocaml-result-1.5.drv
/gnu/store/n1h5ciny6v7c99lm5k2qw1aqij3lf9hj-
ocaml-csexp-1.5.1.drv
/gnu/store/nj2vx3hvx36y02l74zb5grgqlfkpdgxi-
coq-core-8.15.2-checkout.drv
/gnu/store/p4p9qisgbbm59ksayw80knhwnclkmdzg-
coq-core-8.15.2.drv
/gnu/store/qrsy7md5fwlnkxcv4vgbip6r3a9d66mg-
xz-5.2.5.drv
/gnu/store/rdisbmgprbsw34n66gwvka6dmmq0z855-
guile-3.0.7.drv
/gnu/store/sb91lpgmlg58r9fbv1ng2nr9z94pnqqq-
tar-1.34.drv
/gnu/store/xbd6drhdwjzc03rj4krg6ds7gy7y982r-
ocaml-4.14.0.drv
Derivation details
Builder
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org
Outputs
File name
/gnu/store/6x7kyzn9n0crsd2lj1w3wpjzwv72ahq5-
coq-stdlib-8.15.2