Derive([("out","/gnu/store/n9abs0c9sa7hb45bg2qyqhn7xj0l52sp-coq-interval-4.3.0","","")],[("/gnu/store/1184xbyqxlyr7rc6gyy7y61hli2g4xxg-coq-flocq-3.3.1.drv",["out"]),("/gnu/store/222i23i45475dhry8n9b0gg35s06mgcz-automake-1.16.2.drv",["out"]),("/gnu/store/2k445k63r7xh1f93skihg5dky2ixhq8l-linux-libre-headers-5.4.20.drv",["out"]),("/gnu/store/3sy9in1qmwxd85g1d2465k1lwaljrlbp-make-4.3.drv",["out"]),("/gnu/store/3x4y56j3333cpn1xicprq4n924y5fy2s-binutils-2.34.drv",["out"]),("/gnu/store/57qwp4hr598r79qmhqs139wpbzjqi36r-coq-mathcomp-1.12.0.drv",["out"]),("/gnu/store/5m63kbska3ppwvljy74jx3p4kh0gx2gz-ocaml-4.11.1.drv",["out"]),("/gnu/store/6gv37ags7rgv8z11iga24f1j4fd4n2i9-coq-8.13.2.drv",["out"]),("/gnu/store/6h5hp5kbnf38fcw56pchj10kfi86bg8a-gawk-5.0.1.drv",["out"]),("/gnu/store/6hpmkkx03m9kv9xfrln6wpcl131fn14s-tar-1.32.drv",["out"]),("/gnu/store/amcqr19kzhzijaaarkqb4v8h5wzvdnvp-ocaml-zarith-1.12.drv",["out"]),("/gnu/store/czixn0aq6kipf5gbj5y0123h9jalvqwr-bzip2-1.0.8.drv",["out"]),("/gnu/store/dzy1s5bz5ph4ffryjgabb207m17z3fhm-glibc-utf8-locales-2.31.drv",["out"]),("/gnu/store/fy85zj047fbx4pr1jbvdmdglf30wnxfj-which-2.21.drv",["out"]),("/gnu/store/gwf1vq3258p88ivs5n7alqcjn3f2bcwn-autoconf-2.69.drv",["out"]),("/gnu/store/h0isabki773mqmm8z28rmb8d4waxdzb3-coreutils-8.32.drv",["out"]),("/gnu/store/h55wfs803lj8nv0hrzvkd1zpvdm19iia-gzip-1.10.drv",["out"]),("/gnu/store/hiwshlpi0m96alsi568adwa3b6ssw5pv-sed-4.8.drv",["out"]),("/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv",["out"]),("/gnu/store/mbbx5gdp01jh9fdfnzihpls3dni3khqc-ld-wrapper-0.drv",["out"]),("/gnu/store/namlywf4v014381z55jgi4wvcr6xwq9n-file-5.38.drv",["out"]),("/gnu/store/ncz226r51avbd33yzxiv28z8zhzy0zgw-patch-2.7.6.drv",["out"]),("/gnu/store/nmvjr75ldd6qkaw13y7yzmqk288rn6pc-xz-5.2.4.drv",["out"]),("/gnu/store/pb0rpvb4c4xr1knbrhb6k4xn3kz5smjh-findutils-4.7.0.drv",["out"]),("/gnu/store/rfx3ryjc4wn2a9f3p4qb8lqkpi5s048r-gcc-7.5.0.drv",["out"]),("/gnu/store/wp0gcydir135pai5fvf4jdpabk61mi7f-glibc-2.31.drv",["out","static"]),("/gnu/store/wzzjxz43x1b3vmvp8y3n51nn9j28v40b-grep-3.4.drv",["out"]),("/gnu/store/x2mphbrs0fyq2fiqdxs5x3yjq1r1jn65-coq-bignums-8.13.0.drv",["out"]),("/gnu/store/xcyc4qwgxl4kbhkb2kvp4yd8r4hyqnq8-coq-interval-4.3.0-checkout.drv",["out"]),("/gnu/store/xdcxpkbhd747j6dh2xnjbgl1srfdqmrd-coq-coquelicot-3.1.0.drv",["out"]),("/gnu/store/yiqlhq54vgmi7df96ssdzln92c5vbivm-bash-minimal-5.0.16.drv",["out"]),("/gnu/store/z2c71kswl12wpfk7k99icd2z283zsq0r-module-import-compiled.drv",["out"]),("/gnu/store/zqfchhgl0l0pj3rybhg3dgmgkyyscdfm-diffutils-3.7.drv",["out"])],["/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import","/gnu/store/dv2g9ga7rxcd791zpnqp38dcfzdhy36k-coq-interval-4.3.0-guile-builder"],"armhf-linux","/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/8a0wry8cvr405ha8d8bpjyzj5dzghigd-module-import","/gnu/store/dv2g9ga7rxcd791zpnqp38dcfzdhy36k-coq-interval-4.3.0-guile-builder"],[("GUILE_LOAD_COMPILED_PATH","/gnu/store/dw07ghxwzcxqgrml1n46j3a6qxqv62b0-module-import-compiled"),("out","/gnu/store/n9abs0c9sa7hb45bg2qyqhn7xj0l52sp-coq-interval-4.3.0")])