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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/637xy3m8znr76m0zblywvqijk3p3bm4d-gnutls-3.7.2.drv
/gnu/store/dx1i2yqf1w4w71pyf02rz4y94dmkhw76-git-minimal-2.38.1.drv
/gnu/store/gzkcmnczqivpc4v6jf6y7rg6wan7z4g6-guile-3.0.7.drv
/gnu/store/hdy3q3i9588dlh6x0sdln455d0znvibs-guile-zlib-0.1.0.drv
/gnu/store/psgv400nl3lfrbk209w2ismykwk4s137-module-import-compiled.drv
/gnu/store/sfd44pbvd9nzxkqv8zzyjf6zbddidw3n-guile-json-4.7.1.drv
/gnu/store/sh0pg2fpm5pyjacv4p058iqbna01rap6-gzip-1.10.drv
/gnu/store/sly73hdki1knsa0m3v16mkxgp7xrmviw-tar-1.34.drv
/gnu/store/xp073v4mzr0wfmn4mhkrdvd6lya9lsfi-glibc-utf8-locales-2.33.drv

Derivation details

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

Outputs

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