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

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

Builder	/gnu/store/wcgrzgl3vxq5w09fx5m0k5rzzxiihdc9-guile-3.0.7/bin/guile
System	`riscv64-linux`

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