coq-reduction-effects (0.1.5-ok1) huanghe; urgency=medium

  * Build for openKylin.

 -- openKylinBot <openKylinBot@openkylin.top>  Thu, 07 May 2026 01:04:23 +0800
