`/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33/include' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/include'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/votour' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/votour'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/ocamllibdep' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/ocamllibdep'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqworkmgr' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqworkmgr'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coq-tex' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coq-tex'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqtop' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqtop'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqc' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqc'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqnative' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqnative'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqworker.opt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqworker.opt'
`/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1/bin/coqidetop.opt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqidetop.opt'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqwc' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqwc'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/csdpcert' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/csdpcert'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqtop.byte' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqtop.byte'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqdep' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqdep'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqpp' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqpp'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqchk' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqchk'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coq_makefile' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coq_makefile'
`/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1/bin/coqidetop.byte' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqidetop.byte'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqdoc' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqdoc'
`/gnu/store/s8r928cx14z8nwgyb3gzkxji9l4hqqah-which-2.21/bin/which' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/which'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqtop.opt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqtop.opt'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin/coqc.byte' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin/coqc.byte'
`/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33/lib/libev.so.4.0.0' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/libev.so.4.0.0'
`/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33/lib/libev.so' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/libev.so'
`/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33/lib/libev.so.4' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/libev.so.4'
`/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33/lib/libev.la' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/libev.la'
`/gnu/store/2b8aczsxsln8nb1kpndamdgakkpfy8ll-ocaml-seq-0.1/lib/ocaml/site-lib/seq' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/seq'
`/gnu/store/v0wm1v4xwm0f7wwvnv7ch3r0xggwndsl-ocaml-bigarray-compat-1.1.0/lib/ocaml/site-lib/bigarray-compat' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/bigarray-compat'
`/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1/lib/ocaml/site-lib/coqide-server' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/coqide-server'
`/gnu/store/ppgvmrnlyrk5mqpqdn1d1dmd8a1xpv8r-ocaml-stdlib-shims-0.3.0/lib/ocaml/site-lib/stdlib-shims' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/stdlib-shims'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/lib/ocaml/site-lib/coq-stdlib' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/coq-stdlib'
`/gnu/store/i819z0gq2xpq7pngaakx7a5xihkq5ja1-ocaml-result-1.5/lib/ocaml/site-lib/result' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/result'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/lib/ocaml/site-lib/ounit-lwt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/ounit-lwt'
`/gnu/store/fpywm1w7rzxfp940cxk26kgkvaha4p1y-ocaml-mmap-1.2.0/lib/ocaml/site-lib/mmap' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/mmap'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/lib/ocaml/site-lib/ounit2' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/ounit2'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/lib/ocaml/site-lib/coq-core' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/coq-core'
`/gnu/store/djcr2dpyjmcn6b19bp573nkixld6hfm1-ocaml-lwt-5.6.1/lib/ocaml/site-lib/lwt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/lwt'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/lib/ocaml/site-lib/ounit' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/ounit'
`/gnu/store/djcr2dpyjmcn6b19bp573nkixld6hfm1-ocaml-lwt-5.6.1/lib/ocaml/site-lib/stublibs/dlllwt_unix_stubs.so' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/stublibs/dlllwt_unix_stubs.so'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/lib/ocaml/site-lib/stublibs/dllcoqrun_stubs.so' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/stublibs/dllcoqrun_stubs.so'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/lib/ocaml/site-lib/coq' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/coq'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/lib/ocaml/site-lib/ounit2-lwt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/ounit2-lwt'
`/gnu/store/4z7y457r7kcsh3gc0h74y0k1nkrca6pq-ocaml-ocplib-endian-1.2/lib/ocaml/site-lib/ocplib-endian' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib/ocaml/site-lib/ocplib-endian'
`/gnu/store/v0wm1v4xwm0f7wwvnv7ch3r0xggwndsl-ocaml-bigarray-compat-1.1.0/doc/bigarray-compat' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/bigarray-compat'
`/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1/doc/coqide-server' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/coqide-server'
`/gnu/store/ppgvmrnlyrk5mqpqdn1d1dmd8a1xpv8r-ocaml-stdlib-shims-0.3.0/doc/stdlib-shims' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/stdlib-shims'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/doc/coq-stdlib' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/coq-stdlib'
`/gnu/store/i819z0gq2xpq7pngaakx7a5xihkq5ja1-ocaml-result-1.5/doc/result' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/result'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/doc/ounit-lwt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/ounit-lwt'
`/gnu/store/fpywm1w7rzxfp940cxk26kgkvaha4p1y-ocaml-mmap-1.2.0/doc/mmap' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/mmap'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/doc/ounit2' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/ounit2'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/doc/coq-core' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/coq-core'
`/gnu/store/djcr2dpyjmcn6b19bp573nkixld6hfm1-ocaml-lwt-5.6.1/doc/lwt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/lwt'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/doc/ounit' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/ounit'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/doc/coq' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/coq'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/doc/ounit2-lwt' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/ounit2-lwt'
`/gnu/store/4z7y457r7kcsh3gc0h74y0k1nkrca6pq-ocaml-ocplib-endian-1.2/doc/ocplib-endian' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/doc/ocplib-endian'
`/gnu/store/fpywm1w7rzxfp940cxk26kgkvaha4p1y-ocaml-mmap-1.2.0/share/doc/ocaml-mmap-1.2.0' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/ocaml-mmap-1.2.0'
`/gnu/store/i819z0gq2xpq7pngaakx7a5xihkq5ja1-ocaml-result-1.5/share/doc/ocaml-result-1.5' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/ocaml-result-1.5'
`/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1/share/doc/coq-ide-server-8.17.1' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/coq-ide-server-8.17.1'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/doc/coq-8.17.1' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/coq-8.17.1'
`/gnu/store/57dxdx19j8mxpd99202w0541y67czvcv-ocaml-ounit2-2.2.6/share/doc/ocaml-ounit2-2.2.6' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/ocaml-ounit2-2.2.6'
`/gnu/store/djcr2dpyjmcn6b19bp573nkixld6hfm1-ocaml-lwt-5.6.1/share/doc/ocaml-lwt-5.6.1' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/ocaml-lwt-5.6.1'
`/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33/share/doc/libev-4.33' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/libev-4.33'
`/gnu/store/v0wm1v4xwm0f7wwvnv7ch3r0xggwndsl-ocaml-bigarray-compat-1.1.0/share/doc/ocaml-bigarray-compat-1.1.0' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/ocaml-bigarray-compat-1.1.0'
`/gnu/store/s8r928cx14z8nwgyb3gzkxji9l4hqqah-which-2.21/share/doc/which-2.21' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/which-2.21'
`/gnu/store/4z7y457r7kcsh3gc0h74y0k1nkrca6pq-ocaml-ocplib-endian-1.2/share/doc/ocaml-ocplib-endian-1.2' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/ocaml-ocplib-endian-1.2'
`/gnu/store/ppgvmrnlyrk5mqpqdn1d1dmd8a1xpv8r-ocaml-stdlib-shims-0.3.0/share/doc/ocaml-stdlib-shims-0.3.0' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/doc/ocaml-stdlib-shims-0.3.0'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqc.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqc.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqtop.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqtop.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coq-tex.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coq-tex.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqwc.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqwc.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqdoc.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqdoc.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqtop.byte.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqtop.byte.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqnative.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqnative.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqtop.opt.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqtop.opt.1.gz'
`/gnu/store/s8r928cx14z8nwgyb3gzkxji9l4hqqah-which-2.21/share/man/man1/which.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/which.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coq_makefile.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coq_makefile.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqdep.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqdep.1.gz'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/man/man1/coqchk.1.gz' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man1/coqchk.1.gz'
`/gnu/store/jpis7w202fh4baw0ak02krmcnv8i9zxp-libev-4.33/share/man/man3' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/man/man3'
`/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/share/texmf' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/texmf'
`/gnu/store/s8r928cx14z8nwgyb3gzkxji9l4hqqah-which-2.21/share/info' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/share/info'
`/gnu/store/s8r928cx14z8nwgyb3gzkxji9l4hqqah-which-2.21/etc/ld.so.cache' ~> `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/etc/ld.so.cache'