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

Inputs

File name
/gnu/store/0m0rv32c291jk5dlp04mcskqvf24mwj0-grep-3.6.drv
/gnu/store/0zjc1mb65hz4wzg4ivs2h572kb2w9chg-findutils-4.8.0.drv
/gnu/store/3ixzna6y8fi72y0l1xczxrcjssmj8kbx-gzip-1.10.drv
/gnu/store/4gs42zzwjbhwnc8rxzrfkysiq678cjyl-xz-5.2.5.drv
/gnu/store/684af1c8z1qaxq6b9xgxn28cn1j29six-make-4.3.drv
/gnu/store/7498gdqska34wmy26bxn38r1f5z5cym0-glibc-2.33.drv
/gnu/store/7r7ji89wsblhsw457piqxfkc0pi5231h-diffutils-3.8.drv
/gnu/store/9g60vnlvmx7jv76j2x6rl2dc5hjqljcp-proof-general-4.4-1.1b1083e-checkout.drv
/gnu/store/9nbrchhim1dmzxfz529hcbzrnxz0ykg1-module-import-compiled.drv
/gnu/store/c12y73yrlrvihxc39jxki0k7lf5xmn68-glibc-utf8-locales-2.33.drv
/gnu/store/c3hcsbhgaja7hgsi31dv600bzrzy5ab5-gcc-10.3.0.drv
/gnu/store/f05524bz7zdslmlvr9f55gcm54n4d3ks-file-5.39.drv
/gnu/store/f3290dx82ccbjl7z09l1041lvgy8mxb6-emacs-minimal-28.1.drv
/gnu/store/g1440b34z95pp3z8brnw33vm6655idpm-ld-wrapper-0.drv
/gnu/store/k2n57jc7qndz1mcgjccd2shsmd06fvyc-coreutils-8.32.drv
/gnu/store/kqqic5ms6yaw0awpv5pid7vfdihzffzr-bash-minimal-5.1.8.drv
/gnu/store/lg7frr1gxn2ix86cpcgxwk9q87b1spmj-gawk-5.1.0.drv
/gnu/store/lg7mh8jhbs6xzg5284z9lzrh9852xyym-tar-1.34.drv
/gnu/store/my1rlk260fqcg5yvvd5vl21bvgxpvywb-binutils-2.37.drv
/gnu/store/mzr0npkgrih81f7wxja9iqki4fxvlz40-linux-libre-headers-5.10.35.drv
/gnu/store/r855v92y9zbsf3rpzss75gx8drsid5p2-sed-4.8.drv
/gnu/store/sppr1lwlmh38lm0f2awnwdrr0ly4kj0k-perl-5.34.0.drv
/gnu/store/vhv2lgdd9hlh7qiii3as2rgng674z28x-guile-3.0.7.drv
/gnu/store/w31g7qgg56836ja5lyp5slm098rqmgnc-texinfo-6.7.drv
/gnu/store/z4lgb6bqm028hm6aa8vw9jsgb8s1bxdv-bzip2-1.0.8.drv
/gnu/store/zh632xac3y7jc3329w0ccagbxma4hpyd-patch-2.7.6.drv