/gnu/store/2zk59j4lir75fcampd43x4gp9638ky1k-
coq-core-8.15.1-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/7vnql8i8z3b7q9xkp28wdxd632sxjbbb-
guile-3.0.7.drv
/gnu/store/b0ma6l61ad4dfb3030sl1ngvdlicc523-
glibc-utf8-locales-2.33.drv
/gnu/store/b6w7qqsmqqmpa8xy7y22dbks8g1mrrz5-
tar-1.34.drv
/gnu/store/cjxijdfnnyb461jbj0yk6dfhkn9xkg4c-
module-import-compiled.drv
/gnu/store/fd2bkfa515jk81p7mngmn752112g15l8-
patch-2.7.6.drv
/gnu/store/g3zd8hik8q0qcz1mh08ll5lg77y3ldfc-
coq-core-8.15.1-checkout.drv
/gnu/store/spapqrn2j6a5mc7w13xiw8136y4brv7w-
xz-5.2.5.drv
Derivation details
Builder
/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-
guile-3.0.7
/bin/guile
System
x86_64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/iv93kvsnf00y14izn9369ijxd5v2xp2d-
coq-core-8.15.1-checkout