openKylin boolector package

Change log for boolector package in openKylin

1 → 1 of 1 result First • Previous • Next • Last
Deleted in yangtze-proposed (Reason: None provided.) 
boolector (1.5.118.6b56be4.121013-ok1) yangtze; urgency=high

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800
1 → 1 of 1 result First • Previous • Next • Last