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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/36wn2hpip1kf5g200ffll7ghzrm1w4c2-gnutls-3.7.2.drv
/gnu/store/70858844cs0966hxihqv8hymwg5c80q0-gzip-1.10.drv
/gnu/store/7rd4520245hkwgwgjfvznkzhbs10psf1-guile-3.0.7.drv
/gnu/store/bdyvx39kl37dfnjd7cvnfbziiivmlh8k-module-import-compiled.drv
/gnu/store/frnjaziw4z9qs2r9b78l7rh2pvngp04l-glibc-utf8-locales-2.33.drv
/gnu/store/jic9h95p33p98wq9hfzwyyd7wvssc98j-guile-zlib-0.1.0.drv
/gnu/store/nhym096sfhmg0f2nzwpl4l8z99c0i598-tar-1.34.drv
/gnu/store/vpn3hlj7lv3r8725vi041nybwi781c9c-git-minimal-2.38.1.drv
/gnu/store/zi0v6d336l9hwamxnz5yz3ifmpvcjyrs-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