/gnu/store/9kc0gwpx07afbpdiszbrqn424b2j93my-coq-autosubst-1-coq86-devel.fa6ef30.drv

File name
/gnu/store/03rxdfj8mnlqsgxcpn0r80qvvnwdlq7g-bash-minimal-5.0.16.drv
/gnu/store/11b9rnr9rv6lg7w3x9zm0m3k7k2by1fd-findutils-4.7.0.drv
/gnu/store/3v26f2bxcxq74nbk80cbgdyaqyrp9zhi-grep-3.4.drv
/gnu/store/4h0fnvi0q3dvwc7v8ndgi7p7ww2avdgf-make-4.3.drv
/gnu/store/65x2zc7cihfl0sdkrg3lnrdwcv3bisc1-bzip2-1.0.8.drv
/gnu/store/7gkd4b3fzmhdjw0rcwrpln47s21g4z4j-guile-3.0.2.drv
/gnu/store/7jvpzii6lnfy28l7js8fnh88q05yprcz-patch-2.7.6.drv
/gnu/store/a2mwx3r3x4ldb52a3wq3blly66pvmjkc-coreutils-8.32.drv
/gnu/store/ahpc360bs63b3c69zy9nhhy4hc8w0sba-binutils-2.34.drv
/gnu/store/axhiqm9rfdw7lljis45p822jyy553aqk-xz-5.2.4.drv
/gnu/store/axqr85f2yryg55578i6r4ywgzf8ssmvg-tar-1.32.drv
/gnu/store/c3igh752c7cfc5kvnmx9vgr41yjkaiv5-module-import-compiled.drv
/gnu/store/gp0q5w5rbwbs7m5sr590zzc7sylkq194-linux-libre-headers-5.4.20.drv
/gnu/store/h5vm4xbbl9b8f1inqvrcfg72i3j9549f-gcc-7.5.0.drv
/gnu/store/n1h2iw5j9nqb4qb3i62x2m05akxygahx-diffutils-3.7.drv
/gnu/store/nih5lzr38qbkhq79m0x5mj6a8w06ssfy-glibc-2.31.drv
/gnu/store/paz0aj8gvf5dkwfg5360gnsmm3xvnzkg-coq-autosubst-1-coq86-devel.fa6ef30-checkout.drv
/gnu/store/shyx24v22rkpgphdzzy6y4h933fzgbm1-file-5.38.drv
/gnu/store/w9hqacy5qawvhy776wcw61n1zfgw2vi5-glibc-utf8-locales-2.31.drv
/gnu/store/wsy1dw40ih1ckrlfbsajan9xsc0w99zg-sed-4.8.drv
/gnu/store/xyl1528fav70gvn1jcq0aqvkr746w0vl-ld-wrapper-0.drv
/gnu/store/y6z3wwb4xl8hha13mw5hg8k3ww5anksw-gawk-5.0.1.drv
/gnu/store/ydv5a7l9p4ilhc8lgvwdz4179gmi5ipy-gzip-1.10.drv
/gnu/store/yzj60z31i2fghkwf5djzi8ym8pwga65z-coq-8.11.2.drv

Builder	/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
System	`mips64el-linux`

Unknown

File name
/gnu/store/5ydcdywnpkhj4ikvlw1sgws17w0d55x0-coq-autosubst-1-coq86-devel.fa6ef30