Changelog for ocaml-coq-8.19.1-1.120.x86_64.rpm :

* Sun Mar 03 2024 oheringAATTsuse.de- Initial version 8.19.1