/gnu/store/01873f4ncrnscnarzzh254ydisshizc6-coq-ide-8.14.1.drv

Inputs

File name
/gnu/store/0drqxar2gw1d8jg2zc4y4p1gd8r7gf70-xz-5.2.5.drv
/gnu/store/18nyxai3i6hw53pjyhbmag93qh21khw1-patch-2.7.6.drv
/gnu/store/3iz6dn1hkf9x046lcvkx10q4jfmxhj1b-diffutils-3.8.drv
/gnu/store/6a3kkcazcgms1fdlgd69qggziw61xdim-gcc-10.3.0.drv
/gnu/store/6iv4jzffh6fgcc5hp93imm0lv64yvwls-gawk-5.1.0.drv
/gnu/store/6s6kbpx0zkc48ds39y01wpqxqpbbvhjn-dune-2.9.1.drv
/gnu/store/72a9ggqys376b8yrir1byvdy0733cxll-glibc-2.33.drv
/gnu/store/7ib0gd4g05gbfw46cmvp73bfqd3d6bbn-file-5.39.drv
/gnu/store/9ai3lrhaksa3a89nykhdbb05ray96jjh-gzip-1.10.drv
/gnu/store/avv7h58dm04d389s5kz5pxlcnyc1pvsp-make-4.3.drv
/gnu/store/c7w63vg95sazj33nszlj9m1rwfhfqz96-bzip2-1.0.8.drv
/gnu/store/cb36mv3dnvvlgijzn4p24m52v8rzc9l1-guile-3.0.7.drv
/gnu/store/f8pj4ml9fk0blzj9p8s4wzkacvw11gkk-findutils-4.8.0.drv
/gnu/store/g02cn0v2shswl4qhshzshf6zq5v02ans-coq-core-8.14.1-checkout.drv
/gnu/store/gm156vpggqcrcnq25l112q8jd702lhii-ocaml-findlib-1.9.1.drv
/gnu/store/gp9h1a05mq9w6yhzgs60sqicddynir7p-coq-core-8.14.1.drv
/gnu/store/hf5d2n6xhf30k9nm999wj65m1wp6kvgm-sed-4.8.drv
/gnu/store/i4gfz88z97k41yc58nxmkzm9n1i4mbgl-coq-8.14.1.drv
/gnu/store/jdjmkl62p8s2hp8plkf68mkj2z66rwcf-module-import-compiled.drv
/gnu/store/k99sqs1lc6vhzaasqdc8idirqy99p9lb-coq-stdlib-8.14.1.drv
/gnu/store/mkbyrik7zjzqilzhj4899dbn4l8m0pxw-lablgtk-3.1.1.drv
/gnu/store/my6w6sj99prqayr40dqsx2qjm7bb32qs-tar-1.34.drv
/gnu/store/n1ribiw8i6kbwcybwacx5w0ny0q3v4wb-ocaml-cairo2-0.6.2.drv
/gnu/store/n27ncvyw3br0nl5kvzz32gajy9v5q7ni-grep-3.6.drv
/gnu/store/nlqxgn11lgi45imi06i0j83ra7hmg29l-ocaml-csexp-1.5.1.drv
/gnu/store/qfmnfqbv97cachffqy97rxzcjscl07yp-ocaml-result-1.5.drv
/gnu/store/qr4i9zjjffj9b742lq7y0fd8kai7mdlw-ocaml-4.13.1.drv
/gnu/store/rhwjycyxpb1lcvljbdm1zkjq6mzviivj-glibc-utf8-locales-2.33.drv
/gnu/store/why7rsx553fp8mnqp75r48i4qdky4zjw-dune-configurator-2.9.1.drv
/gnu/store/x17sa5qgfpj8kg8v0xpq7fv488k2jllf-coreutils-8.32.drv
/gnu/store/y14axzb299yjc8d7s2yhavi63sdfg8jr-linux-libre-headers-5.10.35.drv
/gnu/store/y462c2avv0jscvhxcfraq8k0885dgw7z-ld-wrapper-0.drv
/gnu/store/ydf5rigp79i2hpzz9wi4856wmm01xpgk-binutils-2.37.drv
/gnu/store/ypgcf3rwybzjk1zyxhikp7zxfr13z5b6-bash-minimal-5.1.8.drv
/gnu/store/z2dkdr304m3zziady9pxm51irrfmj2zg-coq-ide-server-8.14.1.drv

Derivation details

Builder/gnu/store/fzywmbql7438sbfg6qhkh3d9v39357bv-guile-3.0.7/bin/guile
Systemriscv64-linux

Build status

Unknown