Changelog for libpicosat1-965-3.mga10.i686.rpm :

* Tue May 21 2024 daviddavid 965-3.mga10+ Revision: 2065841- fix sed command- fix devel pkg name