Changelog for ocaml-coq-devel-8.19.1-dlo.120500.1.46.x86_64.rpm :

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