/gnu/store/fw6j7ym4cnpzxzfyw3g4slmhxm12gpva-
coq-interval-4.3.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/101ny738l311p4fm3cas7jgnkzagjv6a-
module-import-compiled.drv
/gnu/store/1cya32nfflrkiqlx29k0wwa4jy6k21a8-
glibc-2.31.drv
/gnu/store/20yjgnf82wkijmd862jr3w46sscx9mhw-
make-4.3.drv
/gnu/store/3383xr21fcdmnyd15zibw0qrxh8qmlds-
file-5.38.drv
/gnu/store/4hdrs42p3h8q9pn7f5ka7vx4p95yvyn5-
patch-2.7.6.drv
/gnu/store/50ggj54gv2d1jwkl78fvikkwzal9zfi3-
coq-bignums-8.13.0.drv
/gnu/store/5ld8a3299gm11gi5phhzyh24l0p5jn3h-
guile-3.0.2.drv
/gnu/store/5ywqa6nsl8l782n3blmgdwvvnd2dnj5c-
which-2.21.drv
/gnu/store/7z54cqw75h6ax575wkp2jlxc25v0vkn8-
bash-minimal-5.0.16.drv
/gnu/store/aa2hgdlym46iyr2lfn4nj8qscimqn4iy-
findutils-4.7.0.drv
/gnu/store/amb5ibp98qjgq15564g487kwgv3rvn1w-
sed-4.8.drv
/gnu/store/an08p2g1s6frh1lrzi3dm3wxig7ajsdl-
automake-1.16.2.drv
/gnu/store/b2n8zx3hjv4r187w0n7xcycvj38f7cyj-
bzip2-1.0.8.drv
/gnu/store/bgl9cgva58a4d3dv9s9mz6h3rpwhbd1b-
coq-flocq-3.3.1.drv
/gnu/store/f4j8g7nz35w05kvmmv7d42cwipk54qc2-
gawk-5.0.1.drv
/gnu/store/gda8nm1zp82pm2y6w403j70qzggxr868-
coq-8.13.2.drv
/gnu/store/hm6s26b6vkyz5fqf8dam3x9v9awnlv1f-
grep-3.4.drv
/gnu/store/j236khwil555nqi2390w01xhyzjj6vcz-
glibc-utf8-locales-2.31.drv
/gnu/store/jd2pms2rkv58yg7fxi4qr2chx1wzxfgl-
ocaml-4.11.1.drv
/gnu/store/jrw6fdqfd3dqcrmmvxxf6km1gz93ja6s-
tar-1.32.drv
/gnu/store/lvlnzwncgjcgkiwkm1pfvyzkh3fdbp89-
ocaml-zarith-1.12.drv
/gnu/store/m6w09z3ykb1n9w7v3nyj3gj1ffq9y33x-
gzip-1.10.drv
/gnu/store/np06rsz794ypl0f1gmr2ikkwcjkjn9by-
coq-coquelicot-3.1.0.drv
/gnu/store/rv9jqpf264ckzmn9l10lv7pgkrw2wbxp-
coreutils-8.32.drv
/gnu/store/vcy6kgl3jilg0n1glqmh59kjmcqsr8ss-
coq-mathcomp-1.12.0.drv
/gnu/store/vwbq0rbvdz5iy44nmvry6sm6bm8j9hgz-
gcc-7.5.0.drv
/gnu/store/w3rpkprrj5346anzpqqqcpfkgd3w8kb1-
linux-libre-headers-5.4.20.drv
/gnu/store/w51pssg3afhc2nmw3fybh3gf54215fbr-
coq-interval-4.3.0-checkout.drv
/gnu/store/w6c45x9s0vpn20ssxjf496nqlcy0fayg-
diffutils-3.7.drv
/gnu/store/wmrqa83qjqz9mrgdjnd12fv36q9g9yxa-
ld-wrapper-0.drv
/gnu/store/xmij31rwff3wi220csaz44d9q8z4nc5k-
autoconf-2.69.drv
/gnu/store/xrpnhjachj8swjm9kp57m6scmmr0wsbs-
binutils-2.34.drv
/gnu/store/z4s27gwacbw8f38andfsh21r8v330dag-
xz-5.2.4.drv
Derivation details
Builder
/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-
guile-3.0.2
/bin/guile
System
x86_64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/xq3l1jcawn0sfqrndzg78gcpxvykvmxx-
coq-interval-4.3.0