/gnu/store/cvnd5yh3n5h4cf9cm1yck1pkhnplca10-
coq-core-8.15.1-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1hszd1wkj772jxpdf8amahdcvlhh5dxd-
tar-1.34.drv
/gnu/store/376yd2acmig0xnxiq6067n05d2c0vwg9-
glibc-utf8-locales-2.33.drv
/gnu/store/mmkfi4rzxawbjvjhn9r2vf7s6x7v2y8w-
xz-5.2.5.drv
/gnu/store/rg2jbzp7g5lbvxsczzby1snzl8jk7c9g-
guile-3.0.7.drv
/gnu/store/s405fsa4mcq5maiq50szqf61s5wykw74-
coq-core-8.15.1-checkout.drv
/gnu/store/sj6z7pzm3s1psdqns3d12s4zy2hdr0ci-
patch-2.7.6.drv
/gnu/store/zc57nyqnrnxzl03dva93dim4dypan7h0-
module-import-compiled.drv
Derivation details
Builder
/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-
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/4djnkqq173gq58n6b1g6qcrpwsljwrh3-
coq-core-8.15.1-checkout