+%dir %{_libdir}/ocaml/coq-core
+%{_libdir}/ocaml/coq-core/META
+%{_libdir}/ocaml/coq-core/revision
+%dir %{_libdir}/ocaml/coq-core/boot
+%{_libdir}/ocaml/coq-core/boot/*.cma
+%dir %{_libdir}/ocaml/coq-core/clib
+%{_libdir}/ocaml/coq-core/clib/*.cma
+%dir %{_libdir}/ocaml/coq-core/config
+%{_libdir}/ocaml/coq-core/config/*.cma
+%dir %{_libdir}/ocaml/coq-core/engine
+%{_libdir}/ocaml/coq-core/engine/*.cma
+%dir %{_libdir}/ocaml/coq-core/gramlib
+%{_libdir}/ocaml/coq-core/gramlib/*.cma
+%dir %{_libdir}/ocaml/coq-core/interp
+%{_libdir}/ocaml/coq-core/interp/*.cma
+%dir %{_libdir}/ocaml/coq-core/kernel
+%{_libdir}/ocaml/coq-core/kernel/*.cma
+%dir %{_libdir}/ocaml/coq-core/lib
+%{_libdir}/ocaml/coq-core/lib/*.cma
+%dir %{_libdir}/ocaml/coq-core/library
+%{_libdir}/ocaml/coq-core/library/*.cma
+%dir %{_libdir}/ocaml/coq-core/parsing
+%{_libdir}/ocaml/coq-core/parsing/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins
+%dir %{_libdir}/ocaml/coq-core/plugins/btauto
+%{_libdir}/ocaml/coq-core/plugins/btauto/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/cc
+%{_libdir}/ocaml/coq-core/plugins/cc/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/derive
+%{_libdir}/ocaml/coq-core/plugins/derive/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/extraction
+%{_libdir}/ocaml/coq-core/plugins/extraction/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/firstorder
+%{_libdir}/ocaml/coq-core/plugins/firstorder/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/funind
+%{_libdir}/ocaml/coq-core/plugins/funind/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/ltac
+%{_libdir}/ocaml/coq-core/plugins/ltac/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/ltac2
+%{_libdir}/ocaml/coq-core/plugins/ltac2/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/micromega
+%{_libdir}/ocaml/coq-core/plugins/micromega/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/nsatz
+%{_libdir}/ocaml/coq-core/plugins/nsatz/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/number_string_notation
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/ring
+%{_libdir}/ocaml/coq-core/plugins/ring/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/rtauto
+%{_libdir}/ocaml/coq-core/plugins/rtauto/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/ssreflect
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/ssrmatching
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/tauto
+%{_libdir}/ocaml/coq-core/plugins/tauto/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/tutorial
+%dir %{_libdir}/ocaml/coq-core/plugins/tutorial/p0
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/tutorial/p1
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/tutorial/p2
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/tutorial/p3
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.cma
+%dir %{_libdir}/ocaml/coq-core/plugins/zify
+%{_libdir}/ocaml/coq-core/plugins/zify/*.cma
+%dir %{_libdir}/ocaml/coq-core/pretyping
+%{_libdir}/ocaml/coq-core/pretyping/*.cma
+%dir %{_libdir}/ocaml/coq-core/printing
+%{_libdir}/ocaml/coq-core/printing/*.cma
+%dir %{_libdir}/ocaml/coq-core/proofs
+%{_libdir}/ocaml/coq-core/proofs/*.cma
+%dir %{_libdir}/ocaml/coq-core/stm
+%{_libdir}/ocaml/coq-core/stm/*.cma
+%dir %{_libdir}/ocaml/coq-core/sysinit
+%{_libdir}/ocaml/coq-core/sysinit/*.cma
+%dir %{_libdir}/ocaml/coq-core/tactics
+%{_libdir}/ocaml/coq-core/tactics/*.cma
+%dir %{_libdir}/ocaml/coq-core/top_printers
+%{_libdir}/ocaml/coq-core/top_printers/*.cma
+%dir %{_libdir}/ocaml/coq-core/toplevel
+%{_libdir}/ocaml/coq-core/toplevel/*.cma
+%dir %{_libdir}/ocaml/coq-core/vernac
+%{_libdir}/ocaml/coq-core/vernac/*.cma
+%dir %{_libdir}/ocaml/coq-core/vm
+%{_libdir}/ocaml/coq-core/vm/*.cma
+%dir %{_libdir}/ocaml/coqide
+%{_libdir}/ocaml/coqide/META
+%dir %{_libdir}/ocaml/coqide-server
+%{_libdir}/ocaml/coqide-server/META
+%dir %{_libdir}/ocaml/coqide-server/core
+%{_libdir}/ocaml/coqide-server/core/*.cma
+%dir %{_libdir}/ocaml/coqide-server/protocol
+%{_libdir}/ocaml/coqide-server/protocol/*.cma
+%if %{with ocaml_opt}
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/boot/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/clib/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/config/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/engine/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/gramlib/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/interp/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/kernel/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/lib/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/library/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/parsing/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/btauto/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/cc/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/derive/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/extraction/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/firstorder/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/funind/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/ltac/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/ltac2/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/micromega/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/nsatz/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/ring/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/rtauto/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/ssreflect/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/tauto/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/plugins/zify/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/pretyping/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/printing/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/proofs/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/stm/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/sysinit/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/tactics/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/top_printers/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/toplevel/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/vernac/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coq-core/vm/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coqide-server/core/*.cmxs
+%attr(755,root,root) %{_libdir}/ocaml/coqide-server/protocol/*.cmxs
+%endif
+%attr(755,root,root) %{_libdir}/ocaml/stublibs/dllcoqrun_stubs.so
+
+%files -n ocaml-coq-devel
+%defattr(644,root,root,755)
+%{_libdir}/ocaml/coq-core/dune-package
+%{_libdir}/ocaml/coq-core/opam
+%{_libdir}/ocaml/coq-core/boot/*.cmi
+%{_libdir}/ocaml/coq-core/boot/*.cmt
+%{_libdir}/ocaml/coq-core/boot/*.cmti
+%{_libdir}/ocaml/coq-core/boot/*.mli
+%{_libdir}/ocaml/coq-core/clib/*.cmi
+%{_libdir}/ocaml/coq-core/clib/*.cmt
+%{_libdir}/ocaml/coq-core/clib/*.cmti
+%{_libdir}/ocaml/coq-core/clib/*.mli
+%{_libdir}/ocaml/coq-core/config/*.cmi
+%{_libdir}/ocaml/coq-core/config/*.cmt
+%{_libdir}/ocaml/coq-core/config/*.cmti
+%{_libdir}/ocaml/coq-core/config/*.mli
+%{_libdir}/ocaml/coq-core/engine/*.cmi
+%{_libdir}/ocaml/coq-core/engine/*.cmt
+%{_libdir}/ocaml/coq-core/engine/*.cmti
+%{_libdir}/ocaml/coq-core/engine/*.mli
+%{_libdir}/ocaml/coq-core/gramlib/*.cmi
+%{_libdir}/ocaml/coq-core/gramlib/*.cmt
+%{_libdir}/ocaml/coq-core/gramlib/*.cmti
+%{_libdir}/ocaml/coq-core/gramlib/*.mli
+%{_libdir}/ocaml/coq-core/interp/*.cmi
+%{_libdir}/ocaml/coq-core/interp/*.cmt
+%{_libdir}/ocaml/coq-core/interp/*.cmti
+%{_libdir}/ocaml/coq-core/interp/*.mli
+%{_libdir}/ocaml/coq-core/kernel/*.cmi
+%{_libdir}/ocaml/coq-core/kernel/*.cmt
+%{_libdir}/ocaml/coq-core/kernel/*.cmti
+%{_libdir}/ocaml/coq-core/kernel/*.mli
+%{_libdir}/ocaml/coq-core/lib/*.cmi
+%{_libdir}/ocaml/coq-core/lib/*.cmt
+%{_libdir}/ocaml/coq-core/lib/*.cmti
+%{_libdir}/ocaml/coq-core/lib/*.mli
+%{_libdir}/ocaml/coq-core/library/*.cmi
+%{_libdir}/ocaml/coq-core/library/*.cmt
+%{_libdir}/ocaml/coq-core/library/*.cmti
+%{_libdir}/ocaml/coq-core/library/*.mli
+%{_libdir}/ocaml/coq-core/parsing/*.cmi
+%{_libdir}/ocaml/coq-core/parsing/*.cmt
+%{_libdir}/ocaml/coq-core/parsing/*.cmti
+%{_libdir}/ocaml/coq-core/parsing/*.mli
+%{_libdir}/ocaml/coq-core/plugins/btauto/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/btauto/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/btauto/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/btauto/*.mli
+%{_libdir}/ocaml/coq-core/plugins/cc/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/cc/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/cc/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/cc/*.mli
+%{_libdir}/ocaml/coq-core/plugins/derive/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/derive/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/derive/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/derive/*.mli
+%{_libdir}/ocaml/coq-core/plugins/extraction/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/extraction/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/extraction/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/extraction/*.mli
+%{_libdir}/ocaml/coq-core/plugins/firstorder/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/firstorder/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/firstorder/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/firstorder/*.mli
+%{_libdir}/ocaml/coq-core/plugins/funind/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/funind/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/funind/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/funind/*.mli
+%{_libdir}/ocaml/coq-core/plugins/ltac/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/ltac/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/ltac/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/ltac/*.mli
+%{_libdir}/ocaml/coq-core/plugins/ltac2/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/ltac2/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/ltac2/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/ltac2/*.mli
+%{_libdir}/ocaml/coq-core/plugins/micromega/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/micromega/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/micromega/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/micromega/*.mli
+%{_libdir}/ocaml/coq-core/plugins/nsatz/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/nsatz/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/nsatz/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/nsatz/*.mli
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.mli
+%{_libdir}/ocaml/coq-core/plugins/ring/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/ring/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/ring/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/ring/*.mli
+%{_libdir}/ocaml/coq-core/plugins/rtauto/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/rtauto/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/rtauto/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/rtauto/*.mli
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/*.mli
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.mli
+%{_libdir}/ocaml/coq-core/plugins/tauto/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/tauto/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/tauto/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/tauto/*.mli
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.mli
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.mli
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.mli
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.mli
+%{_libdir}/ocaml/coq-core/plugins/zify/*.cmi
+%{_libdir}/ocaml/coq-core/plugins/zify/*.cmt
+%{_libdir}/ocaml/coq-core/plugins/zify/*.cmti
+%{_libdir}/ocaml/coq-core/plugins/zify/*.mli
+%{_libdir}/ocaml/coq-core/pretyping/*.cmi
+%{_libdir}/ocaml/coq-core/pretyping/*.cmt
+%{_libdir}/ocaml/coq-core/pretyping/*.cmti
+%{_libdir}/ocaml/coq-core/pretyping/*.mli
+%{_libdir}/ocaml/coq-core/printing/*.cmi
+%{_libdir}/ocaml/coq-core/printing/*.cmt
+%{_libdir}/ocaml/coq-core/printing/*.cmti
+%{_libdir}/ocaml/coq-core/printing/*.mli
+%{_libdir}/ocaml/coq-core/proofs/*.cmi
+%{_libdir}/ocaml/coq-core/proofs/*.cmt
+%{_libdir}/ocaml/coq-core/proofs/*.cmti
+%{_libdir}/ocaml/coq-core/proofs/*.mli
+%{_libdir}/ocaml/coq-core/stm/*.cmi
+%{_libdir}/ocaml/coq-core/stm/*.cmt
+%{_libdir}/ocaml/coq-core/stm/*.cmti
+%{_libdir}/ocaml/coq-core/stm/*.mli
+%{_libdir}/ocaml/coq-core/sysinit/*.cmi
+%{_libdir}/ocaml/coq-core/sysinit/*.cmt
+%{_libdir}/ocaml/coq-core/sysinit/*.cmti
+%{_libdir}/ocaml/coq-core/sysinit/*.mli
+%{_libdir}/ocaml/coq-core/tactics/*.cmi
+%{_libdir}/ocaml/coq-core/tactics/*.cmt
+%{_libdir}/ocaml/coq-core/tactics/*.cmti
+%{_libdir}/ocaml/coq-core/tactics/*.mli
+%{_libdir}/ocaml/coq-core/top_printers/*.cmi
+%{_libdir}/ocaml/coq-core/top_printers/*.cmt
+%{_libdir}/ocaml/coq-core/top_printers/*.cmti
+%{_libdir}/ocaml/coq-core/top_printers/*.mli
+%{_libdir}/ocaml/coq-core/toplevel/*.cmi
+%{_libdir}/ocaml/coq-core/toplevel/*.cmt
+%{_libdir}/ocaml/coq-core/toplevel/*.cmti
+%{_libdir}/ocaml/coq-core/toplevel/*.mli
+%{_libdir}/ocaml/coq-core/vernac/*.cmi
+%{_libdir}/ocaml/coq-core/vernac/*.cmt
+%{_libdir}/ocaml/coq-core/vernac/*.cmti
+%{_libdir}/ocaml/coq-core/vernac/*.mli
+%{_libdir}/ocaml/coq-core/vm/libcoqrun_stubs.a
+%{_libdir}/ocaml/coq-core/vm/*.cmi
+%{_libdir}/ocaml/coq-core/vm/*.cmt
+%{_libdir}/ocaml/coqide/dune-package
+%{_libdir}/ocaml/coqide/opam
+%{_libdir}/ocaml/coqide-server/dune-package
+%{_libdir}/ocaml/coqide-server/opam
+%{_libdir}/ocaml/coqide-server/core/*.cmi
+%{_libdir}/ocaml/coqide-server/core/*.cmt
+%{_libdir}/ocaml/coqide-server/core/*.cmti
+%{_libdir}/ocaml/coqide-server/core/*.mli
+%{_libdir}/ocaml/coqide-server/protocol/*.cmi
+%{_libdir}/ocaml/coqide-server/protocol/*.cmt
+%{_libdir}/ocaml/coqide-server/protocol/*.cmti
+%{_libdir}/ocaml/coqide-server/protocol/*.mli
+%if %{with ocaml_opt}
+%{_libdir}/ocaml/coq-core/boot/boot.a
+%{_libdir}/ocaml/coq-core/boot/*.cmx
+%{_libdir}/ocaml/coq-core/boot/*.cmxa
+%{_libdir}/ocaml/coq-core/clib/clib.a
+%{_libdir}/ocaml/coq-core/clib/*.cmx
+%{_libdir}/ocaml/coq-core/clib/*.cmxa
+%{_libdir}/ocaml/coq-core/config/config.a
+%{_libdir}/ocaml/coq-core/config/*.cmx
+%{_libdir}/ocaml/coq-core/config/*.cmxa
+%{_libdir}/ocaml/coq-core/engine/engine.a
+%{_libdir}/ocaml/coq-core/engine/*.cmx
+%{_libdir}/ocaml/coq-core/engine/*.cmxa
+%{_libdir}/ocaml/coq-core/gramlib/gramlib.a
+%{_libdir}/ocaml/coq-core/gramlib/*.cmx
+%{_libdir}/ocaml/coq-core/gramlib/*.cmxa
+%{_libdir}/ocaml/coq-core/interp/interp.a
+%{_libdir}/ocaml/coq-core/interp/*.cmx
+%{_libdir}/ocaml/coq-core/interp/*.cmxa
+%{_libdir}/ocaml/coq-core/kernel/kernel.a
+%{_libdir}/ocaml/coq-core/kernel/*.cmx
+%{_libdir}/ocaml/coq-core/kernel/*.cmxa
+%{_libdir}/ocaml/coq-core/lib/lib.a
+%{_libdir}/ocaml/coq-core/lib/*.cmx
+%{_libdir}/ocaml/coq-core/lib/*.cmxa
+%{_libdir}/ocaml/coq-core/library/library.a
+%{_libdir}/ocaml/coq-core/library/*.cmx
+%{_libdir}/ocaml/coq-core/library/*.cmxa
+%{_libdir}/ocaml/coq-core/parsing/parsing.a
+%{_libdir}/ocaml/coq-core/parsing/*.cmx
+%{_libdir}/ocaml/coq-core/parsing/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/btauto/btauto_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/btauto/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/btauto/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/cc/cc_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/cc/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/cc/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/derive/derive_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/derive/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/derive/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/extraction/extraction_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/extraction/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/extraction/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/firstorder/firstorder_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/firstorder/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/firstorder/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/funind/funind_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/funind/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/funind/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/ltac/ltac_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/ltac/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/ltac/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/ltac2/ltac2_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/ltac2/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/ltac2/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/micromega/micromega_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/micromega/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/micromega/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/nsatz/nsatz_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/nsatz/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/nsatz/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/number_string_notation_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/number_string_notation/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/ring/ring_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/ring/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/ring/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/rtauto/rtauto_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/rtauto/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/rtauto/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/ssreflect_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/ssreflect/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/ssrmatching_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/ssrmatching/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/tauto/tauto_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/tauto/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/tauto/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/tuto0_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p0/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/tuto1_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p1/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/tuto2_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p2/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/tuto3_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/tutorial/p3/*.cmxa
+%{_libdir}/ocaml/coq-core/plugins/zify/zify_plugin.a
+%{_libdir}/ocaml/coq-core/plugins/zify/*.cmx
+%{_libdir}/ocaml/coq-core/plugins/zify/*.cmxa
+%{_libdir}/ocaml/coq-core/pretyping/pretyping.a
+%{_libdir}/ocaml/coq-core/pretyping/*.cmx
+%{_libdir}/ocaml/coq-core/pretyping/*.cmxa
+%{_libdir}/ocaml/coq-core/printing/printing.a
+%{_libdir}/ocaml/coq-core/printing/*.cmx
+%{_libdir}/ocaml/coq-core/printing/*.cmxa
+%{_libdir}/ocaml/coq-core/proofs/proofs.a
+%{_libdir}/ocaml/coq-core/proofs/*.cmx
+%{_libdir}/ocaml/coq-core/proofs/*.cmxa
+%{_libdir}/ocaml/coq-core/stm/stm.a
+%{_libdir}/ocaml/coq-core/stm/*.cmx
+%{_libdir}/ocaml/coq-core/stm/*.cmxa
+%{_libdir}/ocaml/coq-core/sysinit/sysinit.a
+%{_libdir}/ocaml/coq-core/sysinit/*.cmx
+%{_libdir}/ocaml/coq-core/sysinit/*.cmxa
+%{_libdir}/ocaml/coq-core/tactics/tactics.a
+%{_libdir}/ocaml/coq-core/tactics/*.cmx
+%{_libdir}/ocaml/coq-core/tactics/*.cmxa
+%{_libdir}/ocaml/coq-core/top_printers/top_printers.a
+%{_libdir}/ocaml/coq-core/top_printers/*.cmx
+%{_libdir}/ocaml/coq-core/top_printers/*.cmxa
+%{_libdir}/ocaml/coq-core/toplevel/toplevel.a
+%{_libdir}/ocaml/coq-core/toplevel/*.cmx
+%{_libdir}/ocaml/coq-core/toplevel/*.cmxa
+%{_libdir}/ocaml/coq-core/vernac/vernac.a
+%{_libdir}/ocaml/coq-core/vernac/*.cmx
+%{_libdir}/ocaml/coq-core/vernac/*.cmxa
+%{_libdir}/ocaml/coq-core/vm/coqrun.a
+%{_libdir}/ocaml/coq-core/vm/*.cmx
+%{_libdir}/ocaml/coq-core/vm/*.cmxa
+%{_libdir}/ocaml/coqide-server/core/core.a
+%{_libdir}/ocaml/coqide-server/core/*.cmx
+%{_libdir}/ocaml/coqide-server/core/*.cmxa
+%{_libdir}/ocaml/coqide-server/protocol/protocol.a
+%{_libdir}/ocaml/coqide-server/protocol/*.cmx
+%{_libdir}/ocaml/coqide-server/protocol/*.cmxa
+%endif