Changelog for ocaml-psmt2-frontend-devel-0.1-1.fc32.i686.rpm :

* Wed Jun 17 2020 Jerry James - 0.1-1- Initial RPM