/gnu/store/b8pyg6lki9n9f2859vlq60hgyz846rix-proof-general-4.4-1.1b1083e.drv

Inputs

File name
/gnu/store/03ykfvxjn8fcca36jik6r518d16h85nw-make-4.3.drv
/gnu/store/2a2d0ms4vl5fcdarbqcknnm00v2mffk3-sed-4.8.drv
/gnu/store/2zqw9m01lm0qlscri66cmlwwpxwn79cb-guile-3.0.7.drv
/gnu/store/5lqfjzn9dgc5i8k5fgm5s0ksf4jyz2h1-proof-general-4.4-1.1b1083e-checkout.drv
/gnu/store/8xi2bqm816cdi2wqq1icb91m5hhhwk7r-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/9iadld27ww8mjhg744cxkji16iiiasfy-texinfo-6.7.drv
/gnu/store/9sff9q96jnnw1s728wriyc052j5nwzlg-perl-5.34.0.drv
/gnu/store/ckh9hp8sl4mz99im618v8shn7ycfpi41-gawk-5.1.0.drv
/gnu/store/d3rz7jrxbs50ns8ji8pdswnq11xisbn3-diffutils-3.8.drv
/gnu/store/d4dq0v1pmcb9hsnww5sa45xn96s2vqxg-bzip2-1.0.8.drv
/gnu/store/ff595b1xwwa7qhrh7zhpzkf23bs5whbs-coreutils-8.32.drv
/gnu/store/l7kas7pd5pcpk0vpz0b15jvf9nhx1fs2-gcc-10.3.0.drv
/gnu/store/m946jwmq56das328wsfblm3sx1n9gzzk-file-5.39.drv
/gnu/store/mkfzm0qfxsqy6swxz4cg3cv412nj0inz-patch-2.7.6.drv
/gnu/store/p4kjycsjrq5vsr0873qwa4rj1d0vwld7-glibc-2.33.drv
/gnu/store/pf0f867inywl9cgfb27cwps4njhxxd9g-xz-5.2.5.drv
/gnu/store/pgkk63jj99fsria8h8axv3w32yip48bh-module-import-compiled.drv
/gnu/store/qbslxrjlzdsi3sidikv8y2xndladidfw-binutils-2.37.drv
/gnu/store/rh68xc41jxp9f3m05hk6kihrxd99ibi4-bash-minimal-5.1.8.drv
/gnu/store/rnvsaqf4pawr3zk9zrywkf72x39186wd-glibc-utf8-locales-2.33.drv
/gnu/store/srwxri84ahfdik6p0mjp25p2wkparfq9-gzip-1.10.drv
/gnu/store/vgzy8r4y7pf9qcq1mbxgk5cr3ca08jbz-emacs-minimal-28.1.drv
/gnu/store/w2dcza9abvzh4z1bmzd5gbi69j2lkk7m-tar-1.34.drv
/gnu/store/xkn0zxarajlmaycwqhsnkzfd40b66602-findutils-4.8.0.drv
/gnu/store/ya9s1h4kfafd4v5d52rx8s6p5f9jna14-ld-wrapper-0.drv
/gnu/store/yl2w258h95j1gcz3k21y0llgajy8wd5x-grep-3.6.drv