/gnu/store/0pwjmilazikvr8wha58j3zifdbg7k39x-coq-flocq-3.4.2-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1li9m1lj8vw5y1by62dy574cj5yjhzqy-guile-json-4.5.2.drv
/gnu/store/2xnz9s88g38k30db4fq3mmgyxasfj5i0-gzip-1.10.drv
/gnu/store/8mlg8ck5y29f9av80vhgykp0jk0059kq-tar-1.34.drv
/gnu/store/k2hl69jwbi4rbi75jni3zwhbzcbqffhc-gnutls-3.7.2.drv
/gnu/store/khvvjnm71yb6g38aw8a96bb8w4ivp7wj-guile-zlib-0.1.0.drv
/gnu/store/kmbk55fbz378fbl4z9rw9mm9vl4qij0y-git-minimal-2.34.0.drv
/gnu/store/r58cw8fwi69bddy6f2szz9kcxk8n139x-guile-3.0.7.drv
/gnu/store/vl6l1rqwb7z2bzdfjxw27hms4c4sc85h-module-import-compiled.drv

Derivation details

Builder/gnu/store/wcgrzgl3vxq5w09fx5m0k5rzzxiihdc9-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/
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/ifg8kcl50zsxn5yygfvnssnbvj4s2h22-coq-flocq-3.4.2-checkout