z3 | Package Info | ISCAS openkoji system

This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for package z3

Name

z3

ID

10548

Builds

NVR	Built by	Finished	State
1 through 11 of 11
z3-4.13.0-1.fc40	hezhengyu	2024-04-14 17:49:53
z3-4.12.5-1.fc39	hezhengyu	2024-01-31 12:18:29
z3-4.12.5-1.fc40	hezhengyu	2024-01-30 15:30:01
z3-4.12.4-2.fc39	hezhengyu	2024-01-26 05:38:03
z3-4.12.4-4.fc40	hezhengyu	2023-12-24 05:19:14
z3-4.12.4-3.fc40	hezhengyu	2023-12-21 23:59:29
z3-4.12.4-1.fc39	hezhengyu	2023-12-21 09:07:53
z3-4.12.4-2.fc40	hezhengyu	2023-12-19 02:16:37
z3-4.12.2-6.fc39	hezhengyu	2023-10-31 22:34:02
z3-4.12.1-2.fc38	kojiadmin	2023-04-23 06:57:56
z3-4.11.2-2.fc37	kojiadmin	2023-02-28 12:46:00

Builds 1 through 11 of 11

Name	Owner	Included?	Extra Arches
1 through 4 of 4
f37	kojiadmin
f38	kojiadmin
f39	kojiadmin
f40	kojiadmin

Tags 1 through 4 of 4