/gnu/store/fr8bwz7f3bax1c3kbdh8cfplg1av0zzr-coq-8.13.2-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0w917yaci757bqaj7xi2vhijj9nl8v4c-tar-1.32.drv
/gnu/store/ahhqn7fk3xq811icz87r9y1rk6iqig8x-gzip-1.10.drv
/gnu/store/bv5cgs6s241k2c1hq4vv9why5pn9f2ab-guile-json-4.5.2.drv
/gnu/store/dvr3g0aix1rrjlr8y76qf3b67ld35wak-gnutls-3.6.15.drv
/gnu/store/f8pidl97901b9kpiacyz1l7bj7xfzan5-module-import-compiled.drv
/gnu/store/hlwma7qk89j27dm79r1i91vq9nmx0xlk-guile-zlib-0.1.0.drv
/gnu/store/xjdfh7i2g62sjfr2sv02x0ib7zcmvcpj-git-minimal-2.33.0.drv
/gnu/store/y1lh4l2gk1j1fbs8zp1l0vbl0wyw1q2j-guile-3.0.2.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

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

Outputs

File name
/gnu/store/zirjikb1jm4kg4kyccadgvx6j6j7jirw-coq-8.13.2-checkout