/gnu/store/12pyyffjbsb3ri5ljhv44z2h5f1dy7q2-proof-general-4.4-1.1b1083e.drv

Inputs

File name
/gnu/store/08y5b8i6pjpwv4w8w9201rg85nbz1drg-binutils-2.37.drv
/gnu/store/52xd8b9wp6k7px6zrgv2x9cmzv6kkn0z-tar-1.34.drv
/gnu/store/5pklm9zak0wz8npfxhhi45hli87yja4v-gzip-1.10.drv
/gnu/store/62kknlbsxsb1470yw3jppvdjc5cxll36-ld-wrapper-0.drv
/gnu/store/670vl66jl6qhb8q10q3l8mqv7xf9hw8n-guile-3.0.7.drv
/gnu/store/735r67d71g72v0dv78lplml77iii8ibq-sed-4.8.drv
/gnu/store/7npmy7dld2sq8xmkzxwa9g5jvfddfv8l-gcc-10.3.0.drv
/gnu/store/7rdi5pckqshzzqd86sqx7qd8ba5ymdcq-glibc-2.33.drv
/gnu/store/8x7gafdhhvsfkgpj8bsn92yfj5a3li2v-proof-general-4.4-1.1b1083e-checkout.drv
/gnu/store/97zb4dslsrzq25bfyg5zpkddviwvmxqj-diffutils-3.8.drv
/gnu/store/dqs5jm9qr7r1yzaq95a8jwny4w54gazd-patch-2.7.6.drv
/gnu/store/ds69qdqijy580mdgch353bv596d7yfp8-emacs-minimal-28.1.drv
/gnu/store/dy5v632782b5z6mbb61dcmj9cqy8mw3g-bash-minimal-5.1.8.drv
/gnu/store/flfv3qpv1d2rby4c670zym9a1mj66m8l-coreutils-8.32.drv
/gnu/store/ginvna8gynyhxkwjas6fy3fw78yswhh2-texinfo-6.7.drv
/gnu/store/ixfxzp853jsnym8jm67jpjb8j1pab2n0-file-5.39.drv
/gnu/store/j5i26alhkrw984kaxypr3607xrcyfvis-findutils-4.8.0.drv
/gnu/store/krm0f1vl63mih8bdinah5aqr90sfi4iv-grep-3.6.drv
/gnu/store/l5397f14adpxfgpv59cm392bjd6l4257-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/lqy1cwqqzmjcbyky3z2srg6ghx32x360-glibc-utf8-locales-2.33.drv
/gnu/store/p01fc4za3rm493jminp7h2iql4b2q9v8-module-import-compiled.drv
/gnu/store/ryf8r4i72w2vh54jyya9igaggh9ywhld-xz-5.2.5.drv
/gnu/store/vy90yd7zp6ws85ky8zr5bd58sqcrm03j-perl-5.34.0.drv
/gnu/store/yi17klnfkpkwm71sclfpxr1lbl8s8x22-make-4.3.drv
/gnu/store/z6s2hxamx175bf5wkgqxr1dj68z1afhd-gawk-5.1.0.drv
/gnu/store/zbnbn7wd3scysnk3d43lahfqapyc5ki1-bzip2-1.0.8.drv