/gnu/store/600jpc4mxm2vcb09y1y00sq9nz7bxr05-proof-general-4.4-1.1b1083e-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/4nr63xbkdrn4bagky24ndhdxl2i79iah-gzip-1.10.drv
/gnu/store/68bk4p30h0gi27i09vghg8p7na8x5if7-glibc-utf8-locales-2.33.drv
/gnu/store/6nnsh9547xf5m928q2r0741nxpajrb71-guile-zlib-0.1.0.drv
/gnu/store/9ca8md3f7aa6cfzrwd9xdm7gg37xm10k-git-minimal-2.37.1.drv
/gnu/store/pwkxa41z72nmgbhms6q4kv7i562acv23-gnutls-3.7.2.drv
/gnu/store/q8lfcc1bq9cnznghixbf2qw711l40158-module-import-compiled.drv
/gnu/store/rdisbmgprbsw34n66gwvka6dmmq0z855-guile-3.0.7.drv
/gnu/store/skx0mqgqlqwl66xispaj49wqhnailrnl-tar-1.34.drv
/gnu/store/vhd03pq7ar0ncwrck23103bzq0spv7s4-guile-json-4.7.1.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-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/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout