camlp5 (8.04.00-ok1) huanghe; urgency=medium

  * Build for openKylin.

 -- openKylinBot <openKylinBot@openkylin.top>  Wed, 06 May 2026 23:11:09 +0800
