coq-equations (1.3.1-8.20-ok1) huanghe; urgency=medium

  * Build for openKylin.

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