Changelog for ocaml-coq-8.19.1-dlo.1699.1.334.i586.rpm :

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