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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/2jcd59821ly7y0wsf8i122jwrzlfcn6x-guile-3.0.7.drv
/gnu/store/4jhr646gnxwq74q6kgb5db5w3migyzfx-tar-1.34.drv
/gnu/store/5s1hrgwk6j5s31iszi2gy47h6kcs0gay-gnutls-3.7.2.drv
/gnu/store/93dpcw82c010bpzbpb7yvadkrn6103kj-guile-json-4.7.1.drv
/gnu/store/94wfgfdc3j6ywnq7ndi0zkdya4ha61wj-guile-zlib-0.1.0.drv
/gnu/store/96hflri4qwqlyw4sqh4z0swkn21061gb-glibc-utf8-locales-2.33.drv
/gnu/store/nmjqwjcsam0cd2l59cchv5gdzg2aymf0-git-minimal-2.38.1.drv
/gnu/store/raxsfrz4d19rhjn084jx3ir1s4zm5ca3-gzip-1.10.drv
/gnu/store/yczdbnxn6ib9kx49d3jmyg2phlbqxqh4-module-import-compiled.drv

Derivation details

Builder/gnu/store/shajs4lnjdycnp3b0va74fa1mc8zmmmf-guile-3.0.7/bin/guile
Systempowerpc-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