Finding fresh policy
Processing upload z3_4.13.3-1ok1_source.changes
Beginning processing.
Verifying signature on z3_4.13.3-1ok1_source.changes
Verifying signature on z3_4.13.3-1ok1.dsc
Performing DSC verification.
z3_4.13.3-1ok1_source.buildinfo can be unsigned.
Verifying the changes file.
Verifying files in upload.
Verifying source file z3_4.13.3-1ok1.dsc
Verifying uploaded source package by unpacking it.
Copying copyright contents.
Found changelog
Cleaning up source tree.
Done
Verifying source file z3_4.13.3.orig.tar.gz
Verifying source file z3_4.13.3-1ok1.debian.tar.xz
Verifying buildinfo file z3_4.13.3-1ok1_source.buildinfo
Finding and applying overrides.
Checking for z3/4.13.3-1ok1 source ancestry
Finished checking upload.
Creating queue entry
z3 diff from 4.8.12-ok1 to 4.13.3-1ok1 requested
Setting it to ACCEPTED
Creating PENDING publishing record.
Created amd64 build of z3 4.13.3-1ok1 in openkylin huanghe PROPOSED [351827] in Primary Archive for openKylin (4010)
Created arm64 build of z3 4.13.3-1ok1 in openkylin huanghe PROPOSED [351828] in Primary Archive for openKylin (4010)
Created i386 build of z3 4.13.3-1ok1 in openkylin huanghe PROPOSED [351829] in Primary Archive for openKylin (4010)
Created loong64 build of z3 4.13.3-1ok1 in openkylin huanghe PROPOSED [351830] in Primary Archive for openKylin (4010)
Created riscv64 build of z3 4.13.3-1ok1 in openkylin huanghe PROPOSED [351831] in Primary Archive for openKylin (4010)
Created rv64g build of z3 4.13.3-1ok1 in openkylin huanghe PROPOSED [351832] in Primary Archive for openKylin (4010)
Building recipients list.
Adding recipient: 'Cibot <cibot@openkylin.top>'
Sent a mail:
  Subject: [openkylin/huanghe-proposed] z3 4.13.3-1ok1 (Accepted)
  Sender: OKBS notice <okbs@platform-notice.openkylin.top>
  Recipients: Cibot <cibot@openkylin.top>
  Bcc: Local Root <root@localhost>
  Body:
z3 (4.13.3-1ok1) huanghe; urgency=medium

  * Build for openKylin 3.0.

Date: Tue, 28 Apr 2026 16:34:24 +0800
Changed-By: liwenjun <liwenjun@kylinos.cn>
Maintainer: openKylin Developers <packaging@lists.openkylin.top>
Signed-By: Cibot <cibot@openkylin.top>
https://build.openkylin.top/openkylin/+source/z3/4.13.3-1ok1

==

 OK: z3_4.13.3.orig.tar.gz
 OK: z3_4.13.3-1ok1.debian.tar.xz
 OK: z3_4.13.3-1ok1.dsc
     -> Component: main Section: science

No announcement sent

Thank you for your contribution to openKylin.

-- 
You are receiving this email because you made this upload.
Committing the transaction and any mails associated with this upload.