File ocaml-coq.changes of Package ocaml-coq
------------------------------------------------------------------- Fri Apr 4 04:04:04 UTC 2025 - ohering@suse.de - Initial version 9.0.0
------------------------------------------------------------------- Fri Apr 4 04:04:04 UTC 2025 - ohering@suse.de - Initial version 9.0.0