Changelog for ocaml-minisat-devel-0.6-lp153.1.1.x86_64.rpm :

* Sat Jun 17 2023 oheringAATTsuse.de- Initial version 0.6