/gnu/store/r58l73mj586hsszqs3ydkihggzjl4qcy-coq-interval-4.3.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0w917yaci757bqaj7xi2vhijj9nl8v4c-tar-1.32.drv
/gnu/store/7whiss29mxmhy85ihsrzaycy7hwiz1dj-module-import-compiled.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/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/yr9l6npk52645gvygv20xb9hi8l1iba6-coq-interval-4.3.0-checkout