openKylin z3 package

Change log for z3 package in openKylin

1 → 3 of 3 results First • Previous • Next • Last
Deleted in nile.bedrock-proposed (Reason: del)
Deleted in nile.bedrock-release (Reason: del)
Published in huanghe-proposed
Published in huanghe-release
Published in nile-release
Published in nile-proposed 
z3 (4.8.12-ok1) nile; urgency=high

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 06 May 2024 21:59:32 +0800

Available diffs

Published in yangtze-release
Published in yangtze-proposed 
z3 (4.8.7-ok2) yangtze; urgency=medium

  *if arch == rv64g export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed
   -Wl,-latomic -Wl,--as-needed. Add schema settings to the control file.

 -- root <email address hidden>  Thu, 14 Mar 2024 07:36:38 +0000

Available diffs

Superseded in nile-release
Superseded in yangtze-release
Deleted in yangtze-proposed (Reason: Moved to yangtze) 
z3 (4.8.7-ok1) yangtze; urgency=medium

  * Build for openKylin.

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