/gnu/store/72aaj32mj6s6xwgpxdfnbj4rqqx3fzcm-
coq-core-8.15.1-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/08hvsqnskmdq8h6676112n4q1wx5835m-
patch-2.7.6.drv
/gnu/store/8crhs85b5scsbwadsvcy1yh61hncwm1j-
glibc-utf8-locales-2.33.drv
/gnu/store/b3kq8115wjc9xa4xxfr39cm4ikhnni53-
xz-5.2.5.drv
/gnu/store/clv88x0syp6a8ck3c5aw1dnxvfz4lc0s-
tar-1.34.drv
/gnu/store/r2fpmg5izqgcsgdzdadhhv27r7sfd2fq-
guile-3.0.7.drv
/gnu/store/rka0j88zbi7x4ck3qj3dk0hxdh6lrxds-
module-import-compiled.drv
/gnu/store/s024qafql135j9d5rapih20k7riv6irp-
coq-core-8.15.1-checkout.drv
Derivation details
Builder
/gnu/store/m8bfw3z558lfk3h0n5xpsqbv9m6ls2r0-
guile-3.0.7
/bin/guile
System
riscv64-linux
Build status
Unknown
Outputs
File name
/gnu/store/rz70w1rayv2qvk1xvdfdva6c5lqhx11d-
coq-core-8.15.1-checkout