/gnu/store/ry9i99438q4q7lp7bjg861m4fvnrv9li-coq-interval-4.4.0.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/015891ifwzlfgjkyql765zbaygv2nl5z-diffutils-3.8.drv
/gnu/store/0x5yrmfq8j5rrlz01vw3vqiz7yg1w3ma-patch-2.7.6.drv
/gnu/store/1m6bzbl016vzw8m03b1w38nii4hrczkw-bzip2-1.0.8.drv
/gnu/store/237nq9bsxj01mnhyfilihmfmsl53i4xc-coq-flocq-4.0.0.drv
/gnu/store/39mgxv2s12f146ps6x1x37a09870ksf3-coq-interval-4.4.0-checkout.drv
/gnu/store/3j2247ds6xb4jwmn8xmha5rjci3pa2mc-coq-stdlib-8.15.2.drv
/gnu/store/42039a32nqlk8mv1qddwzm9yfxm1li1z-ld-wrapper-0.drv
/gnu/store/4pvvrwjjzv4l2kmpb1nmw24i9f9ml7ar-gcc-10.3.0.drv
/gnu/store/bgyhxacdrszl9bwh3hs7v60zsrzy0l3w-glibc-utf8-locales-2.33.drv
/gnu/store/bm5dxl9x26xw2wgv7avkjm3ryf1a5zhz-findutils-4.8.0.drv
/gnu/store/d9am68ysyl6n53l85aggball4lkhdbjd-glibc-2.33.drv
/gnu/store/f3ajxaj4lagpn0q3461xpfkaqy5vcp65-automake-1.16.3.drv
/gnu/store/f3s9zz9i5fkhnah4ndmyi8wpfdyf18kk-gawk-5.1.0.drv
/gnu/store/fmrk6n80zkfiarrv4h14vdbf7ic8b8vb-coq-core-8.15.2.drv
/gnu/store/gk2fwi6d4fjjpif6m12i957c5cz7gd3b-binutils-2.37.drv
/gnu/store/gkmvwyrqig23rvybic60na6pnxnsq9yk-guile-3.0.7.drv
/gnu/store/h8zkyq3jxhwhbk4s36f620vqlac99qzl-coq-8.15.2.drv
/gnu/store/hb0xw0604vb4jy1mr4jvfpw9x6s7ak8h-make-4.3.drv
/gnu/store/i2x1m7g4bi93zvxgmhabs38xh0gairn0-ocaml-4.14.0.drv
/gnu/store/icymxfi8ypfl8vdg6hni9fcsvx4v1wln-xz-5.2.5.drv
/gnu/store/l9pmk7icq23v9vfjzizwac9vf5xf7id1-grep-3.6.drv
/gnu/store/mp1v3lkmba4v9gkw1wkqqlq0nvf53haj-file-5.39.drv
/gnu/store/qp5pljna5k0828f7mxabf8v6rad2nhr5-linux-libre-headers-5.10.35.drv
/gnu/store/qvwjcq4zrsppdl8q7ws1fp06hz30jpcr-tar-1.34.drv
/gnu/store/rajm6hx0zcxlzvmrsp8rpv2dbf3im5fj-autoconf-2.69.drv
/gnu/store/rrvcm8nk71xgbpinlqy9887vdk0rpsng-coq-mathcomp-1.14.0.drv
/gnu/store/rsjn2nczhzvkqhq4mzmkh4bh3676kljp-which-2.21.drv
/gnu/store/sg7g3m3yf146vsmhc3jczmj4gz842r92-ocaml-zarith-1.12.drv
/gnu/store/sznpr5bz4pkvsk5qzgj10304mcxb16sn-module-import-compiled.drv
/gnu/store/whqw6w2c7j37hfh8zjkrhmkswxg0dxdl-coq-bignums-8.15.0.drv
/gnu/store/wnh7dibpqh0nchpy4pbwdf1l7y7ba25q-bash-minimal-5.1.8.drv
/gnu/store/ygpbjks2hjm3n6jawnmgp985q3n08ycx-sed-4.8.drv
/gnu/store/z9s4xxi5i7yam6rcpr99vbzz3lp26mfk-coq-coquelicot-3.2.0.drv
/gnu/store/z9vlkvy24q0y1nsh51wvg0zm0r1r2szy-coreutils-8.32.drv
/gnu/store/zfkzmfl5nyhfixm5zfddg59yf7j0frbv-gzip-1.10.drv

Derivation details

Builder/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-guile-3.0.7/bin/guile
Systempowerpc-linux

Build status

Unknown

Outputs

File name
/gnu/store/qy7g3ybc42p0srif4d4j1k0ah0kcf50j-coq-interval-4.4.0