Derive([("out","/gnu/store/j2x5g2b5v5xp110b95rwpqb3brvx1i5p-coq-flocq-3.4.2","","")],[("/gnu/store/2pj3sgbgv1dqs4ck0cpmwcq8hww0ijz7-diffutils-3.8.drv",["out"]),("/gnu/store/2v4ih1wc62q0qgf1xmax1v3c1qfqh5ym-ocaml-4.13.1.drv",["out"]),("/gnu/store/582jlbcrbd99jbad45hab63pfix4qah9-patch-2.7.6.drv",["out"]),("/gnu/store/64zfr2ivlfbbazxvhcd79qarn2w2diih-coq-8.14.1.drv",["out"]),("/gnu/store/6q93pf09p6jnz7a9rljskibgrzps7m7s-findutils-4.8.0.drv",["out"]),("/gnu/store/7zgavfs26byayvca1wc4lavdyxbi6ncd-grep-3.6.drv",["out"]),("/gnu/store/a1n057fgq0yv5y01qmwyh55vxhpz2g66-linux-libre-headers-5.10.35.drv",["out"]),("/gnu/store/b6r3mp4wffgsb4pklclbr5mfw7h94y7y-tar-1.34.drv",["out"]),("/gnu/store/cvy37ymqj6nm5b9rh15vdqy3ymz3wyc0-bash-minimal-5.1.8.drv",["out"]),("/gnu/store/d4dic0dyfh95frs87x04xm1jnr6wi3w0-coq-stdlib-8.14.1.drv",["out"]),("/gnu/store/gg6mzbwal1pdqcv02ckhzvy3snfl8s9a-coreutils-8.32.drv",["out"]),("/gnu/store/gsr8kmsbs2lhmimf025s72j5zf83dkjp-file-5.39.drv",["out"]),("/gnu/store/hf9bhaxhlmnpmisnc4xis6phw7x906d7-autoconf-2.69.drv",["out"]),("/gnu/store/i6fn9jss2qv3wz72m63864irnc5w5wm0-automake-1.16.3.drv",["out"]),("/gnu/store/idpm8mcvav5m7y1b35la0ikj57ywlpak-make-4.3.drv",["out"]),("/gnu/store/ilisr6g1my3mdlrrngl50nfp64q5jc2d-glibc-utf8-locales-2.33.drv",["out"]),("/gnu/store/in6n2gwf59xinb981qpfwarqx1skfn4n-binutils-2.37.drv",["out"]),("/gnu/store/k1jvb5dvgj4w1g4d8br3a9nym4zpz54s-sed-4.8.drv",["out"]),("/gnu/store/kdap0ai0817y98dzan68h9ffmccs089b-gawk-5.1.0.drv",["out"]),("/gnu/store/lyqvrd1a2n5pkfn68mxk25y8d07b3ahs-ld-wrapper-0.drv",["out"]),("/gnu/store/nk1ndsdds1ixcgdc2bdvndczijkhfx1x-gzip-1.10.drv",["out"]),("/gnu/store/nyz5cmppp735jnzrgbg0fdjjhq4qp0dp-glibc-2.33.drv",["out","static"]),("/gnu/store/p37w9f5wcfbba97l5vyv7ld2z3iaz4yf-coq-flocq-3.4.2-checkout.drv",["out"]),("/gnu/store/qcgv5f6y93aaiwhimfxahr5yf2ljn4h5-which-2.21.drv",["out"]),("/gnu/store/s4296bqxjqds954v6f9anjnb69xf04hk-gcc-10.3.0.drv",["out"]),("/gnu/store/wlhj37zifmdvjhvgwhr6qib08pvhlvy4-module-import-compiled.drv",["out"]),("/gnu/store/wsssmjx1py9kzr1ay858mgpqjkil0584-bzip2-1.0.8.drv",["out"]),("/gnu/store/x5askjynhkr7slhps9hmda3m28jsz3cv-xz-5.2.5.drv",["out"]),("/gnu/store/xfay35qql6xzay6ha1rbzg797rdvj3j2-guile-3.0.7.drv",["out"]),("/gnu/store/z53pd9486pqzrnmyrdr7vlpq62hvid25-coq-core-8.14.1.drv",["out"])],["/gnu/store/h38403a8viyv0pfjrv2i9v15ys9rlxyc-module-import","/gnu/store/jv4f280mc7dqz0cv07735by1fm5h7qz2-coq-flocq-3.4.2-builder"],"armhf-linux","/gnu/store/q7fwd9ri2ad3mgq8qnc1s6iir0qwls0d-guile-3.0.7/bin/guile",["--no-auto-compile","-L","/gnu/store/h38403a8viyv0pfjrv2i9v15ys9rlxyc-module-import","-C","/gnu/store/x5q34mgsfnmwjqrxq72pv7wrqdlpmvfr-module-import-compiled","/gnu/store/jv4f280mc7dqz0cv07735by1fm5h7qz2-coq-flocq-3.4.2-builder"],[("out","/gnu/store/j2x5g2b5v5xp110b95rwpqb3brvx1i5p-coq-flocq-3.4.2")])