Derive([("out","/gnu/store/a0fwsl47asaz8rfxxwg4r7jdlp97ra3i-coq-for-coqtail-8.17.1","","")],[("/gnu/store/0mq1qw2g4sv6rim9kwk48shqpzwzl8vy-coq-ide-server-8.17.1.drv",["out"]),("/gnu/store/0w2r4m4fk152rsaw37c3wlwdj2xz8dq0-ocaml-bigarray-compat-1.1.0.drv",["out"]),("/gnu/store/0wnn46nw2ywql9kbgx75wp2yhacv2mp5-ocaml-lwt-5.6.1.drv",["out"]),("/gnu/store/2aw6hjagibqgkr9cw95dswrakrxa9303-ocaml-stdlib-shims-0.3.0.drv",["out"]),("/gnu/store/4racn6gg2alaxsw69wd0jkwnqi60r7mc-ocaml-ocplib-endian-1.2.drv",["out"]),("/gnu/store/czpnbnk27wyp3a3gbpqfkynhlkb95pzr-coq-8.17.1.drv",["out"]),("/gnu/store/hvas1lc9r55zjk649xc4bwyxvnzr2y7v-ocaml-seq-0.1.drv",["out"]),("/gnu/store/ifhjm77icvr8bbjwg78bbk4v9i6cjvvx-ocaml-ounit2-2.2.6.drv",["out"]),("/gnu/store/jmpm4xfgs8ppqqhvn5p6s683761qxrg9-ocaml-mmap-1.2.0.drv",["out"]),("/gnu/store/k3b092fbigbkkvylma8avkas4rmhv4d7-module-import-compiled.drv",["out"]),("/gnu/store/lsj1df3n6rrs8zsv28amk9kwpp9diyg8-ocaml-result-1.5.drv",["out"]),("/gnu/store/nsvp3l4fnkb0w2d2w31hc9kk3scy5fxv-guile-3.0.9.drv",["out"]),("/gnu/store/qbma4x1l52xd1qimxnqy4i64v5lrc7vj-libev-4.33.drv",["out"]),("/gnu/store/vwwfbphgqd2pwnpx29lqjpi8nrmiyxc6-which-2.21.drv",["out"])],["/gnu/store/7i8170wq7p14l4f1ka731prnwy2x3dyi-module-import","/gnu/store/8md4aym83ppr0rhw7zgk0rxxdxbwbm7n-coq-for-coqtail-8.17.1-builder"],"riscv64-linux","/gnu/store/27kcqx14b8vhrihv9k2f5dhx64sii12w-guile-3.0.9/bin/guile",["--no-auto-compile","-L","/gnu/store/7i8170wq7p14l4f1ka731prnwy2x3dyi-module-import","-C","/gnu/store/n8npz0sqib3sf3lkma4a8vzpksbqpc7w-module-import-compiled","/gnu/store/8md4aym83ppr0rhw7zgk0rxxdxbwbm7n-coq-for-coqtail-8.17.1-builder"],[("out","/gnu/store/a0fwsl47asaz8rfxxwg4r7jdlp97ra3i-coq-for-coqtail-8.17.1")])