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

Detail view Formatted view Plain view View JSON

Inputs

File name
/gnu/store/1xcm8075k21czzibg446ksnxv8lg4r7w-coq-interval-4.4.0-checkout.drv
/gnu/store/3iv0z1g4qlnvyf8l400sxfsr1yp6iln5-linux-libre-headers-5.10.35.drv
/gnu/store/3ixzyxwvw7n6i9qllcxqw6h7j7p0m2ic-ocaml-zarith-1.12.drv
/gnu/store/5c6w3x8l9n7zz38x6vak263q1h76xs3f-diffutils-3.8.drv
/gnu/store/6kjyi6fmhzpyy9nm98wdr5bpqv9pdmm3-coq-coquelicot-3.2.0.drv
/gnu/store/6x42mzzwymn3km28qpw7q2i89fl9ksrw-guile-3.0.7.drv
/gnu/store/7iqy93cbng1phx6a759krhpml066jf1v-which-2.21.drv
/gnu/store/85qa5lh8a87q169aa5kzwd3f6smw39n8-gawk-5.1.0.drv
/gnu/store/90ssaq9za36274hls60mlkgwqnnfy5zb-file-5.39.drv
/gnu/store/9q939364zbh7cd1xs6lzrxwar8h45qic-tar-1.34.drv
/gnu/store/bb7ncgx54b18bws3582d0kidrf9ihggc-binutils-2.37.drv
/gnu/store/bys066562n5v0myrrbczk7pgp67wcvkh-findutils-4.8.0.drv
/gnu/store/dr1ba5i24xfxys24k6arb3nyqyjky539-bzip2-1.0.8.drv
/gnu/store/gskfz90imlyq2a1qb1fgp0j7sqazrd1j-bash-minimal-5.1.8.drv
/gnu/store/ii0k0kd709vmajdynry2w3d3526iv9mc-coq-core-8.15.2.drv
/gnu/store/kfijfhckm6r12savn4rx9a5cnk6qbp0s-sed-4.8.drv
/gnu/store/kxl1c3p8l154fb9cclk13b2rk8wvs4p4-glibc-utf8-locales-2.33.drv
/gnu/store/kyf97zs4jwqn0nzcakm52f69fn5bdkfw-autoconf-2.69.drv
/gnu/store/mhayirj4528cizjrbc7dhbbajnj1453h-coq-bignums-8.15.0.drv
/gnu/store/mra5jpnll2hxfxpbrah1bwyhdbcq35pw-glibc-2.33.drv
/gnu/store/n5crviqxdljm1kab4pw0cd5vnz979a16-coreutils-8.32.drv
/gnu/store/nkpz3az2d5v6zkx7mljc1bbwa9yrvglm-coq-stdlib-8.15.2.drv
/gnu/store/nvnkzal8c117hbnnghna1kyh8f2ji6sr-module-import-compiled.drv
/gnu/store/s980wixkrvhqnwvxgv12mw0qg0mbazhq-coq-mathcomp-1.14.0.drv
/gnu/store/s9h5cjlhpi75bplkqbymajsaa14xg8rd-grep-3.6.drv
/gnu/store/sahpdgvis1yll4254icw9s9cz4c6ym0w-ld-wrapper-0.drv
/gnu/store/v0rnzcrk3rrh9zb0p1qaj10w8k43lwyn-make-4.3.drv
/gnu/store/vdhq3jvp0v5cz318wjzx0r0gk537sp2n-coq-flocq-4.0.0.drv
/gnu/store/x6a9lmgnrj6cxgk0d8kbmrk1d83zwnx0-patch-2.7.6.drv
/gnu/store/xc0dq7sz960riivbj1k7kb3ny4cv83xk-ocaml-4.14.0.drv
/gnu/store/xihxpxwiap0fdhhialy1a8yn3aj75893-automake-1.16.3.drv
/gnu/store/yd9431s50wgd910lpa5mw84x82fkcafi-gcc-10.3.0.drv
/gnu/store/yjx32slnf8c0i4qaky84jnbd2s7kpysf-xz-5.2.5.drv
/gnu/store/z7b5hmprj5nzhai62qkbzf3wqbqkk0yb-gzip-1.10.drv
/gnu/store/zassn3hl1b3vpsq5zrryvrmcs3k3ypal-coq-8.15.2.drv

Derivation details

Builder	/gnu/store/70pprbqqkqzrx40c1q5l9qqh29baa203-guile-3.0.7/bin/guile
System	`aarch64-linux`

Build status

Succeeded

View build on https://bordeaux.guix.gnu.org/

Outputs

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