Derive([("out","/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1","","")],[("/gnu/store/4n60irarmjqb62dr8gyxnpmyb33mkyrr-ocaml-ocplib-endian-1.2.drv",["out"]),("/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv",["out"]),("/gnu/store/5384gqjl5vp7gsmqhl7d7v9lfcpvdw6h-ocaml-stdlib-shims-0.3.0.drv",["out"]),("/gnu/store/5vs608fns2p83nib1y95g118h09hbqhk-ocaml-result-1.5.drv",["out"]),("/gnu/store/dc766j3lk0xayiji16d096s1c8l6446v-which-2.21.drv",["out"]),("/gnu/store/dl9iphzpwl1cz1p7hyb3p66inqr9cf7n-ocaml-mmap-1.2.0.drv",["out"]),("/gnu/store/f2a12nk0y52ccbvad5lv4p231rmy22c2-coq-8.17.1.drv",["out"]),("/gnu/store/g2g4gd3v5f5224592rmh4b93ndlcmxj1-ocaml-lwt-5.6.1.drv",["out"]),("/gnu/store/gn6vdxfb507hf19gr21cj47n56k95fkh-ocaml-seq-0.1.drv",["out"]),("/gnu/store/h3p7r7q1d725gv7m75l2pv30dny8pg6q-guile-3.0.9.drv",["out"]),("/gnu/store/kbylj3qr5llnsl037plgivk6g0nsa1k7-libev-4.33.drv",["out"]),("/gnu/store/kqjynvnlj7w8zqyybmg9kqdvc9bm7kz2-ocaml-bigarray-compat-1.1.0.drv",["out"]),("/gnu/store/ma2has3gv6qmnac0qcywg0j5vn79ka9v-module-import-compiled.drv",["out"]),("/gnu/store/yj6qcgryrdrfid22ravjv8192d40wc9f-ocaml-ounit2-2.2.6.drv",["out"])],["/gnu/store/7i8170wq7p14l4f1ka731prnwy2x3dyi-module-import","/gnu/store/i6wyb1nq5md81c0vw3y204xwf0mmvzgb-coq-for-coqtail-8.17.1-builder"],"i686-linux","/gnu/store/33nvcq7kmv79i1lrf89qq5ill0bmcq7n-guile-3.0.9/bin/guile",["--no-auto-compile","-L","/gnu/store/7i8170wq7p14l4f1ka731prnwy2x3dyi-module-import","-C","/gnu/store/d1vbhdlm6sckydlnk1al1b5nl4lrx4yq-module-import-compiled","/gnu/store/i6wyb1nq5md81c0vw3y204xwf0mmvzgb-coq-for-coqtail-8.17.1-builder"],[("out","/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1")])