Derive([("out","/gnu/store/3bl4a85x1ngpzhzmz7hsdxp3c15mk93p-aiger-1.9.9","",""),("static","/gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static","","")],[("/gnu/store/08xn3qqnlp7w00k5v4nkbh7n62ry1mgb-gzip-1.12.drv",["out"]),("/gnu/store/0c30wad6wwqq9x928z1f3470g7g64lsf-tar-1.34.drv",["out"]),("/gnu/store/0q5klalai5qy760k3hnc4vmikzjhzsbc-aiger-1.9.9.tar.gz.drv",["out"]),("/gnu/store/4szmvccalbhbynfdgfy82vd42lwvln9s-bzip2-1.0.8.drv",["out"]),("/gnu/store/5fdiljlnm6m5ghv5ndbg2mpnj7arbi6z-linux-libre-headers-cross-arm-linux-gnueabihf-5.15.49.drv",["out"]),("/gnu/store/6v1d0vd6zd6pw029l69b75lwlhajz89a-guile-3.0.9.drv",["out"]),("/gnu/store/7m7vsn7da46fsq5f04f58piwh4wix0cn-coreutils-9.1.drv",["out"]),("/gnu/store/8121q96mxhfx06sp55vx46v773q2mwwq-linux-libre-headers-5.15.49.drv",["out"]),("/gnu/store/axmf6rk92zj58amb82lgrmfixas9kgw5-file-5.44.drv",["out"]),("/gnu/store/b3ccrvq4vdxx1as268drd8dc1x8bl39x-diffutils-3.8.drv",["out"]),("/gnu/store/b4jrqb06g5y2d8j7cicfpp20lbx8hnns-patch-2.7.6.drv",["out"]),("/gnu/store/cjkkgcya79lqkf62k9svj4aifgnl07jd-grep-3.8.drv",["out"]),("/gnu/store/h8rjk4spzwfl024vnnlpvlya8jlyghbd-findutils-4.9.0.drv",["out"]),("/gnu/store/hrls6gmn1p2000cpgixrh171c1sk23cy-gcc-cross-arm-linux-gnueabihf-11.3.0.drv",["out"]),("/gnu/store/j9f6gb0q7id56pc5hg7l4x3c75m0wb7q-ld-wrapper-0.drv",["out"]),("/gnu/store/jday1gpvdk3ccf034vcja567bjp0n4z1-glibc-utf8-locales-2.35.drv",["out"]),("/gnu/store/jlx5pmjy9fh3vqwprhsh61yccqcl7xfc-make-4.3.drv",["out"]),("/gnu/store/knjh4syk4nz93ma7p1lck83yzq734vgv-gzip-1.12.drv",["out"]),("/gnu/store/layi3v30pczj6vb5vgqyvp5pk0p0lhxf-binutils-2.38.drv",["out"]),("/gnu/store/ql77ia3zdqnpz7zhgn2ly3iqdfi4qxq8-glibc-2.35.drv",["out","static"]),("/gnu/store/rvybr59kk98r9j7r0cn3h29y8a8fh44n-module-import-compiled.drv",["out"]),("/gnu/store/wcx86bp6zcad2n2x5940dndhcksvfk5v-gcc-11.3.0.drv",["out"]),("/gnu/store/xl79z4zwcg5cyykqv8igc7ik4aji0h5a-gawk-5.2.1.drv",["out"]),("/gnu/store/xmwzw0ry7i8i3n00j20nvn2vrjmd5xvr-bash-minimal-5.1.16.drv",["out"]),("/gnu/store/xsdbxznjfghibv3j6cwj9xg2nnsq9gir-binutils-cross-arm-linux-gnueabihf-2.38.drv",["out"]),("/gnu/store/ysaz32b9dzd7w0wwxzjij5j4h3l144g3-glibc-cross-arm-linux-gnueabihf-2.35.drv",["out","static"]),("/gnu/store/zcdblbx05s6sy18mq915mb2gb5gbqj4a-sed-4.8.drv",["out"]),("/gnu/store/zj5ksr2kpy68192aq5flw8yp8kgxgzda-xz-5.2.8.drv",["out"])],["/gnu/store/9n6j7cqh0fygzxwa6s04r0i4ic5s17fg-module-import","/gnu/store/p55x32b7bn7zgl87jmdsr886ylc2wk1l-aiger-1.9.9-builder"],"x86_64-linux","/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-guile-3.0.9/bin/guile",["--no-auto-compile","-L","/gnu/store/9n6j7cqh0fygzxwa6s04r0i4ic5s17fg-module-import","-C","/gnu/store/08dmis7kmcp7qg35pymmv0m9bjwlmmxd-module-import-compiled","/gnu/store/p55x32b7bn7zgl87jmdsr886ylc2wk1l-aiger-1.9.9-builder"],[("out","/gnu/store/3bl4a85x1ngpzhzmz7hsdxp3c15mk93p-aiger-1.9.9"),("static","/gnu/store/zjfiwjxra4aymi83yghb1wfd7z3f2l8x-aiger-1.9.9-static")])