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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/c1g3x45nr0xjn4cb2h1c7ls3a9x9gygh-git-minimal-2.37.0.drv
/gnu/store/cij68x2bc4r3r714wqss677ns8ajqqiy-gzip-1.10.drv
/gnu/store/g8ib3xkkkzf7k3lp566bdaawrw7aim0w-gnutls-3.7.2.drv
/gnu/store/gg2y6msn3yy4w4dqbgss3m6vh03129pr-guile-3.0.7.drv
/gnu/store/jc4lk39vnhazc8nilwa4ldrvcjm5lwp0-module-import-compiled.drv
/gnu/store/s8919zm3hxcdmxgnz73qbyysmmsg8iks-tar-1.34.drv
/gnu/store/sm9ac7q8ci0d9kn1pd04kdqdnczpkfia-guile-zlib-0.1.0.drv
/gnu/store/w4yadjpmv3rwal8k98ys0fn3zjc8fdik-glibc-utf8-locales-2.33.drv
/gnu/store/xlr256ycax5lwrwivgfphnhm7yl76rxs-guile-json-4.7.1.drv

Derivation details

Builder/gnu/store/m8bfw3z558lfk3h0n5xpsqbv9m6ls2r0-guile-3.0.7/bin/guile
Systemriscv64-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