Change logs for z3 source package in Yangtze V1.0

z3 (4.8.7-ok2) yangtze; urgency=medium

  *if arch == rv64g export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed
   -Wl,-latomic -Wl,--as-needed. Add schema settings to the control file.

 -- root <email address hidden>  Thu, 14 Mar 2024 07:36:38 +0000

z3 (4.8.7-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800