/gnu/store/kdj8yki4d6cwvbnq8fy0lzzqxvxk3g23-
coq-ide-server-8.13.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/10bpqnrahnqr21kqcp0c6j4bhqvh4wx7-
ocaml-result-1.5.drv
/gnu/store/1cya32nfflrkiqlx29k0wwa4jy6k21a8-
glibc-2.31.drv
/gnu/store/20yjgnf82wkijmd862jr3w46sscx9mhw-
make-4.3.drv
/gnu/store/3383xr21fcdmnyd15zibw0qrxh8qmlds-
file-5.38.drv
/gnu/store/3b7anx1pqcd722cb6mf6893halsnckax-
gmp-6.2.0.drv
/gnu/store/4hdrs42p3h8q9pn7f5ka7vx4p95yvyn5-
patch-2.7.6.drv
/gnu/store/5ld8a3299gm11gi5phhzyh24l0p5jn3h-
guile-3.0.2.drv
/gnu/store/5ywqa6nsl8l782n3blmgdwvvnd2dnj5c-
which-2.21.drv
/gnu/store/76p4w416zzqadgx1hwd8kscyd87arx1a-
dune-2.8.5.drv
/gnu/store/7z54cqw75h6ax575wkp2jlxc25v0vkn8-
bash-minimal-5.0.16.drv
/gnu/store/91hn1424csrq27snx6sygq8kcd41sps5-
ocaml-csexp-1.3.2.drv
/gnu/store/aa2hgdlym46iyr2lfn4nj8qscimqn4iy-
findutils-4.7.0.drv
/gnu/store/amb5ibp98qjgq15564g487kwgv3rvn1w-
sed-4.8.drv
/gnu/store/b2n8zx3hjv4r187w0n7xcycvj38f7cyj-
bzip2-1.0.8.drv
/gnu/store/c8613x8rfzmciyjjgffpsw3hzrng91hc-
module-import-compiled.drv
/gnu/store/cq82zmvhhapplck30rrllpg1gpbdwfdq-
ocaml-zarith-1.12.drv
/gnu/store/f4j8g7nz35w05kvmmv7d42cwipk54qc2-
gawk-5.0.1.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/m0d9lripg1xjbpndgb18qshlf9ym80p4-
ocaml-findlib-1.8.1.drv
/gnu/store/m6w09z3ykb1n9w7v3nyj3gj1ffq9y33x-
gzip-1.10.drv
/gnu/store/np7mx97x71fwxhm0mwjfvrmy8n0c8lj7-
coq-8.13.2.drv
/gnu/store/ps9zbmbd906yd1gg8shbacmkj9amiszx-
dune-configurator-2.8.5.drv
/gnu/store/qs3ag8q9kwhc8mdn6dvb13klx6z2xm6x-
coq-8.13.2-checkout.drv
/gnu/store/rv9jqpf264ckzmn9l10lv7pgkrw2wbxp-
coreutils-8.32.drv
/gnu/store/vwbq0rbvdz5iy44nmvry6sm6bm8j9hgz-
gcc-7.5.0.drv
/gnu/store/w3rpkprrj5346anzpqqqcpfkgd3w8kb1-
linux-libre-headers-5.4.20.drv
/gnu/store/w6c45x9s0vpn20ssxjf496nqlcy0fayg-
diffutils-3.7.drv
/gnu/store/wmrqa83qjqz9mrgdjnd12fv36q9g9yxa-
ld-wrapper-0.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/9plqc9n9nd7xvrl6iqclgy97l3lx26ir-
coq-ide-server-8.13.2