boolector (1.5.118.6b56be4.121013-ok1) huanghe; urgency=medium

  * Build for openKylin.

 -- openKylinBot <openKylinBot@openkylin.top>  Wed, 06 May 2026 22:10:27 +0800
