/gnu/store/g02cn0v2shswl4qhshzshf6zq5v02ans-
coq-core-8.14.1-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0108549lxa9y6ldag7qiv9k7wpgd6dgv-
module-import-compiled.drv
/gnu/store/0drqxar2gw1d8jg2zc4y4p1gd8r7gf70-
xz-5.2.5.drv
/gnu/store/18nyxai3i6hw53pjyhbmag93qh21khw1-
patch-2.7.6.drv
/gnu/store/cb36mv3dnvvlgijzn4p24m52v8rzc9l1-
guile-3.0.7.drv
/gnu/store/my6w6sj99prqayr40dqsx2qjm7bb32qs-
tar-1.34.drv
/gnu/store/qfifss18ghm0b525pfvbyb9nrm0nkcg7-
coq-core-8.14.1-checkout.drv
/gnu/store/rhwjycyxpb1lcvljbdm1zkjq6mzviivj-
glibc-utf8-locales-2.33.drv
Derivation details
Builder
/gnu/store/fzywmbql7438sbfg6qhkh3d9v39357bv-
guile-3.0.7
/bin/guile
System
riscv64-linux
Build status
Unknown
Outputs
File name
/gnu/store/0gcvcrajqig3hnyjlaqm01i4zk9609hl-
coq-core-8.14.1-checkout