/gnu/store/hn7vp2hq1vwix74a2b58cp50n7a4rm4d-
coq-stdpp-1.4.0.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/17n4gi5f2dlpwv5yamqw79mpnwa0b4zg-
tar-1.32.drv
/gnu/store/1ihcw0xcqw7jdc474wmpjpznyf00ng10-
module-import-compiled.drv
/gnu/store/3n9hc7yx2mqg5w52ig22q6dpd7jmln21-
make-4.3.drv
/gnu/store/4q1lkpr2jcz69scgd30i6qz4kibalsq4-
coq-stdpp-1.4.0-checkout.drv
/gnu/store/4z202j54wwv9124ch38f04lhxvjssydg-
grep-3.4.drv
/gnu/store/71wiwhw1gkv43rss2ayk55i7di9rfdb6-
sed-4.8.drv
/gnu/store/8rnc3bp90w8m5jz4ncggx7i3zqm72w2i-
glibc-utf8-locales-2.31.drv
/gnu/store/bpxr2wnfv16xmqa0p011764jbiskrp75-
bzip2-1.0.8.drv
/gnu/store/g06mlkl74if539jlvxcwz12xv27gixqj-
binutils-2.34.drv
/gnu/store/g7llm64iq0zbz9s1fsf0ny64fiwy2gm5-
gzip-1.10.drv
/gnu/store/gn6lnxz8s6kycdcxkqsxkw7lh6kcm78f-
coreutils-8.32.drv
/gnu/store/gq1xbalnfqgy3c7wk0idjgbwkb2c3vbb-
guile-3.0.2.drv
/gnu/store/gwfx7rf8c4l9wg1g90sximkvs9dyisxq-
file-5.38.drv
/gnu/store/gz8ch9la4agr9jz2lr5vgg61glj1dcr8-
coq-8.11.2.drv
/gnu/store/j31ykbb5jwig0jk48250nj0x4g29cfqk-
bash-minimal-5.0.16.drv
/gnu/store/k5rgkb4h5rnzmj7rhkgzcbg56js3f1n9-
diffutils-3.7.drv
/gnu/store/l33w9hmpi7aiq7kam8pryw3z2prv7dw6-
patch-2.7.6.drv
/gnu/store/mdyzhg7my76p87f2hl89im0f9i893z9a-
xz-5.2.4.drv
/gnu/store/pxdr7rf67qrw00k6sfqqxpczd6av73w0-
gawk-5.0.1.drv
/gnu/store/qr31kqmdany1yq0pprpvv9mq3dni9840-
glibc-2.31.drv
/gnu/store/rbqpym91ayb8w9vz62ghxiwg3s9vwzif-
hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/s082sbkh2n2aaaj6naz1yl6hzspqkkiq-
gcc-7.5.0.drv
/gnu/store/v2yhhfwa01fz0h4hlv33x9xik7nnc5y8-
findutils-4.7.0.drv
/gnu/store/xav1cj988nj6njsmhd543v52nhph28fs-
ld-wrapper-0.drv
Derivation details
Builder
/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-
guile-3.0.2
/bin/guile
System
i586-gnu
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/a1nrz95c5n4cma0i7m4f464nf5ccila2-
coq-stdpp-1.4.0