haskell-smtlib (1.1-ok2) huanghe; urgency=medium

  * No change, rebuild.

 -- tangxiaofeng <tangxiaofeng@kylinos.cn>  Tue, 04 Aug 2026 10:40:14 +0800

haskell-smtlib (1.1-ok1) huanghe; urgency=medium

  * Build for openKylin.

 -- openKylinBot <openKylinBot@openkylin.top>  Thu, 07 May 2026 17:02:00 +0800
