/gnu/store/5v8z2vf2f27b5riz815kk3p4g2hcs5dh-
coq-core-8.14.1-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0d7q272kph6m1haxsrz3w6hg5b86f2m8-
guile-3.0.7.drv
/gnu/store/bca1gf6pcmjjwaa6hilm3m2k56r23sk0-
patch-2.7.6.drv
/gnu/store/isp9kn9if5pjlkkp87l08mcvkh7p0472-
glibc-utf8-locales-2.33.drv
/gnu/store/jrjyjdrdyhsf812y0776vqzjsyjmwf7n-
module-import-compiled.drv
/gnu/store/km5zrgvwqp8yxrpgx092cs0n496z37yv-
coq-core-8.14.1-checkout.drv
/gnu/store/kw2akzcsbydlrjm81ydj4zjp18w7qpcd-
xz-5.2.5.drv
/gnu/store/p9kdszbsk9xiwi3vbzzwhy6b4ink4yms-
tar-1.34.drv
Derivation details
Builder
/gnu/store/jqkrcmslxq8azqlnq1dcm49i6m5fx2dd-
guile-3.0.7
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/ld6p6jmm1mjkhm5wb3igbcwdhag41qnc-
coq-core-8.14.1-checkout