/gnu/store/3abnzv0shz02v84k4crgaskqr5wkc7l1-proof-general-4.4-1.1b1083e.drv

Derive(
[
Outputs
],[
Inputs
("/gnu/store/0s1vasdh8y51c33axn19qysybzhb4na2-sed-4.8.drv","["out"]),
("/gnu/store/26kqgw452zg34snw107xbhdb26m79l1i-binutils-2.37.drv","["out"]),
("/gnu/store/2z65lbdg65jw1dmj2jg0xc7m3j11z71a-make-4.3.drv","["out"]),
("/gnu/store/3qaj00bq9h3wnpm5nxh02zfl0sg9vmqc-bash-minimal-5.1.8.drv","["out"]),
("/gnu/store/5anj7g79wlmj02cphd9inpp362gy4dlf-coreutils-8.32.drv","["out"]),
("/gnu/store/5nkcww64h6c2jc4dqb82577w9n4mcysw-glibc-utf8-locales-2.33.drv","["out"]),
("/gnu/store/73f7pssbzdijdr425d0jr0mkf4g504lg-guile-3.0.7.drv","["out"]),
("/gnu/store/7bnjq7s2blwpgv8ik608pqzcjg7fjh5k-perl-5.34.0.drv","["out"]),
("/gnu/store/7jsr6blzxamcgscchpcx21b1q8782bdy-gcc-10.3.0.drv","["out"]),
("/gnu/store/7mlaiqfmrlc8rkps2xn801m4773azcdg-glibc-2.33.drv","["out","static"]),
("/gnu/store/7nm28wn1xqamf7bsihp8zx3q71bvqmcg-diffutils-3.8.drv","["out"]),
("/gnu/store/7z846ig2lv7q910ayrr3qq2hkbdqzhvj-file-5.39.drv","["out"]),
("/gnu/store/7zizy7d6qkjhkj5036yvnx8gbkjfqvxw-gzip-1.10.drv","["out"]),
("/gnu/store/8j2dp6f46b1j5kzrmdmbiw575kgfphjm-module-import-compiled.drv","["out"]),
("/gnu/store/a5ly65s06dzl1jph9mbr98j2fh6d5427-binutils-cross-arm-linux-gnueabihf-2.37.drv","["out"]),
("/gnu/store/cxk0bji5z8bfxlxzflq3f3681rjxalbi-gcc-cross-arm-linux-gnueabihf-10.3.0.drv","["out"]),
("/gnu/store/fjzcmfq2hdvla2zr69izcxzaw4g0drl6-grep-3.6.drv","["out"]),
("/gnu/store/h4wyki3227vbf834xdlhljb6jf2spf48-bzip2-1.0.8.drv","["out"]),
("/gnu/store/hbr9r6ij3vsqjypzjhl0q42fpl6av6zk-proof-general-4.4-1.1b1083e-checkout.drv","["out"]),
("/gnu/store/hzdq8mqkvfzfsdbc13qma1fdf49j3r7s-linux-libre-headers-5.10.35.drv","["out"]),
("/gnu/store/mk2jl72795jfl2j4zy0nmmwhwsx971v1-tar-1.34.drv","["out"]),
("/gnu/store/p3lpi8hs8f6b2gif4jzcrxf1lvxd001m-gawk-5.1.0.drv","["out"]),
("/gnu/store/q1jdjw959w6kkrlzajnss9x74kxjbbvq-ld-wrapper-0.drv","["out"]),
("/gnu/store/q7z31nxv8rg77iq351sq929bfdrdhh28-patch-2.7.6.drv","["out"]),
("/gnu/store/qr58vyykv6a1xicf9hzxf5v8flnlr3f3-emacs-minimal-28.1.drv","["out"]),
("/gnu/store/r092z23x2v1sfq5rd48h1czmqdpwhcp7-linux-libre-headers-cross-arm-linux-gnueabihf-5.10.35.drv","["out"]),
("/gnu/store/vkb7mhkkx1myzii5fq69zz9mz33n6w57-texinfo-6.7.drv","["out"]),
("/gnu/store/vzn5xg9z968gbvprrd25d3rlv3vsg3r9-glibc-cross-arm-linux-gnueabihf-2.33.drv","["out","static"]),
("/gnu/store/xvpz6bnmqirf61f0ps0gvxzh22xd2ps3-findutils-4.8.0.drv","["out"]),
("/gnu/store/yfcyyhjmw7snvshr1pfpk7pz6l0vmbpb-xz-5.2.5.drv","["out"])
],[
Sources
],
System
"x86_64-linux",
Builder
[
Arguments
],[
Environment variables
)