SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 
Changelog for z3-doc-4.8.15-2.mga9.x86_64.rpm :

* Sun Apr 24 2022 joequant 4.8.15-2.mga9+ Revision: 1852975- change z3 libname
* Fri Apr 22 2022 joequant 4.8.15-1.mga9+ Revision: 1852625- fix groups- imported package z3