/gnu/store/77aznwyx1na2my41gfvd28ca0h8fdivy-proof-general-4.4-1.1b1083e.drv

Inputs

File name
/gnu/store/03dwhxhaji9nf8pc6w7zjf4aczrd4ak8-texinfo-6.7.drv
/gnu/store/0d07ky6314zhr71k8dly1pcfil98l5nd-emacs-minimal-28.1.drv
/gnu/store/1hh4vrr278vp9bxgy5ksxs9p5yrckmjd-tar-1.34.drv
/gnu/store/1w4cif03qlx5krz5432gfgkg90hli7a7-patch-2.7.6.drv
/gnu/store/2jpdxcvlxz92dfs5m40p8b2jni5m9xd0-ld-wrapper-0.drv
/gnu/store/79dmhlcag8qy64yznsx6c2n33y1j8hgx-linux-libre-headers-5.10.35.drv
/gnu/store/7j9y985xhqv7ncvh7slrzc3vgw3s1xcm-sed-4.8.drv
/gnu/store/abqn1gwfz6hdg61xr3hcj9jb3p9adnjh-file-5.39.drv
/gnu/store/acq8qzgw6zmws6n1v3c1gvbm4d7b3wiw-gawk-5.1.0.drv
/gnu/store/ajd3qplkkk0g00mvpki4azqgd88yi7nb-perl-5.34.0.drv
/gnu/store/an82yjybnzf2fi6r2zlc9c6rvcqryzp1-coreutils-8.32.drv
/gnu/store/bs6s0vxqcldqxsq95vzmvihjf3x37s2b-gzip-1.10.drv
/gnu/store/fsfa54z2nvqhlnlnpzi9sf4ycb0rmi62-guile-3.0.7.drv
/gnu/store/fz6ks0yzsmxx87in88z83i1rizcwpach-findutils-4.8.0.drv
/gnu/store/gn0jk35aqs96l5j2vjdh7jnxg9v45bqr-bzip2-1.0.8.drv
/gnu/store/h2g1w6s6fykbs3jfg5qwj2cvq3bh5w30-make-4.3.drv
/gnu/store/l1l0bwiq3l8sffc0h3zwi4cm1d27nlsk-diffutils-3.8.drv
/gnu/store/l5k9y96mfyf54gvaqqza4c3mia6ffrli-bash-minimal-5.1.8.drv
/gnu/store/p9ss7p7y4bfb481la5jph3srsqwm8xc8-gcc-10.3.0.drv
/gnu/store/pfpyzj8yyrbvbsld15bcgmh4piz38349-module-import-compiled.drv
/gnu/store/pgg0cn40kiy7pv7mr336w03abxpjicll-grep-3.6.drv
/gnu/store/qh8wjizfvg24jmzl6nb0k7wbm3zbx4a1-xz-5.2.5.drv
/gnu/store/rqryi8b1xic9h2iw2qyi23p3brbwfvhg-binutils-2.37.drv
/gnu/store/yn8z8y6ddf2pczf2l2g4253i62qrnvqa-glibc-2.33.drv
/gnu/store/yzi1riv2z3na63q2r829pynk56mpsv4k-proof-general-4.4-1.1b1083e-checkout.drv
/gnu/store/z5d2fascv2i4pjpyw9x185isvskjx6xh-glibc-utf8-locales-2.33.drv