File ocaml-coq.changes of Package ocaml-coq

-------------------------------------------------------------------
Tue Nov 11 11:11:11 UTC 2025 - ohering@suse.de

- Initial version 9.1.0