/gnu/store/qdjnah4nxkbcfazhhxc9v3ciry7ly0ah-coq-core-8.14.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/5h77fpl3mpfpc2mgsz7jqrd1k64l9rxd-module-import-compiled.drv
/gnu/store/dzbdalkd4bpqld9pfbm7bbpnbj3ar74q-xz-5.2.5.drv
/gnu/store/f2bih67x1l1k39j9390r9yw3yj7p4gzc-tar-1.34.drv
/gnu/store/jcvr8pxrbg8dh0cwf4qp29lwqrrk9hrl-glibc-utf8-locales-2.33.drv
/gnu/store/jzqi4f3rlqfgc3dgpr5b9miryy9zw9hl-patch-2.7.6.drv
/gnu/store/m7ccayzswsh5gb1618gsyfz692y1gr15-coq-core-8.14.0-checkout.drv
/gnu/store/n1kwc86a063ybi4dxjn41273k1rsvb08-guile-3.0.7.drv

Derivation details

Builder/gnu/store/hii8vfc898aha0x3qdss12dk9gzimnsj-guile-3.0.7/bin/guile
Systemaarch64-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/00c1bgvabrhk25wym0m8d9kza39da30k-coq-core-8.14.0-checkout