/gnu/store/4sn9fg4q2xl9a2i09sfwjk9va3crh8rr-coq-interval-4.4.0.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/00xgkmxfgf75zcpr329h8b8xdfy9ajgm-make-4.3.drv
/gnu/store/15iva1sjvcj5jj2b0ncn5f7zpfz3sw8z-diffutils-3.8.drv
/gnu/store/3k66vfqr3fkllk32nvk33lgp85bfhwnk-grep-3.6.drv
/gnu/store/3nskpgzwfvkyhsxqqw3ra2d424zncpax-which-2.21.drv
/gnu/store/5k7wgjxv8cnwrq3vysi4zpbfbms7p4cm-glibc-2.33.drv
/gnu/store/6nargsqg09bd65mn362br6pd3066accl-module-import-compiled.drv
/gnu/store/6rxjalkp0jr94jbhkabk7598jyjnbdzg-findutils-4.8.0.drv
/gnu/store/9bpqdmcm35xbav37nnb4vfs0pp4lbnrv-coreutils-8.32.drv
/gnu/store/agj0c8swfz3hf8i11k88n8ky13f2n8vf-sed-4.8.drv
/gnu/store/azlrx5z5mkz9mvdl93283pybmpdbpsy1-coq-interval-4.4.0-checkout.drv
/gnu/store/bw66w9ascp6w92sibakwa5w98rc05yxy-gzip-1.10.drv
/gnu/store/cjjpc29x5nkz7g5vs4glbg779rz17q24-gawk-5.1.0.drv
/gnu/store/dq6qcggxkqqs4j9cbq11w7whpjqsam4w-bzip2-1.0.8.drv
/gnu/store/dxp0vs1vxsy8ci8i0p7amgq5dyzl64i4-coq-bignums-8.15.0.drv
/gnu/store/f1ggnnzw9kkzfdpa95gx986kv1h06p86-xz-5.2.5.drv
/gnu/store/ff3b0787xyfw0pacfc0s12qkhhdvyl0w-ocaml-4.14.0.drv
/gnu/store/g5c6sb9ff0y1f9xg4pggasz1iy279ya1-coq-coquelicot-3.2.0.drv
/gnu/store/gg2y6msn3yy4w4dqbgss3m6vh03129pr-guile-3.0.7.drv
/gnu/store/hgmhk8bb4h01bxsbhckwjpqkn6y9j6jw-coq-stdlib-8.15.2.drv
/gnu/store/jki3l431jdpdz8cski6wfhik1wlvcv7w-autoconf-2.69.drv
/gnu/store/k5hwyjh6mjhh0n1bb62qwr61hm7jbfqc-coq-core-8.15.2.drv
/gnu/store/lhrap7pypm1r0a313zm2vsyqgi8a3y36-coq-8.15.2.drv
/gnu/store/mi3hgwydgkh7rz3sb979cchf9xknyy5c-patch-2.7.6.drv
/gnu/store/mlnxm01hs3ksl8zdgqqnb25hhsfjcc1b-linux-libre-headers-5.10.35.drv
/gnu/store/n8i3x08dxpzv55wqn2wy4pjndvgx1lzg-automake-1.16.3.drv
/gnu/store/p7m7aciz6x44dm8pqs8q3zzm99sqs81y-ld-wrapper-0.drv
/gnu/store/p81m853ybxbl4332sa6jb7slkbz6mynn-ocaml-zarith-1.12.drv
/gnu/store/q9lryrgj6d22wkxvwijxswp6zrp02436-binutils-2.37.drv
/gnu/store/spjqs4i4p5qlfs4270ycv16np2ix0yx5-bash-minimal-5.1.8.drv
/gnu/store/ssn4y9snf4f9696qizhdcg93kgycjxyp-file-5.39.drv
/gnu/store/vwzhxb0v78n6f7dg4pj6p10290vb16ml-tar-1.34.drv
/gnu/store/w4yadjpmv3rwal8k98ys0fn3zjc8fdik-glibc-utf8-locales-2.33.drv
/gnu/store/x06i9q99l7ayf1qdfdbj2w2dy73kz35k-coq-flocq-4.0.0.drv
/gnu/store/x8kxxqylb49nr116qshlvvznb3yaz00c-gcc-10.3.0.drv
/gnu/store/xkmaglh0fag171rkivxx7yaynsv9byp4-coq-mathcomp-1.14.0.drv

Derivation details

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

Build status

Unknown

Outputs

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