Change log for z3 package in openKylin
1 → 3 of 3 results | First • Previous • Next • Last |
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
- diff from 4.8.7-ok1 to 4.8.12-ok1 (2.3 MiB)
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
- diff from 4.8.7-ok1 to 4.8.7-ok2 (869 bytes)
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 |