cbmc | Package Info | ISCAS openkoji system

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

Information for package cbmc

Name

cbmc

ID

19997

Builds

NVR	Built by	Finished	State
1 through 9 of 9
cbmc-5.95.1-4.fc40	hezhengyu	2024-03-22 04:41:04
cbmc-5.95.1-3.fc40	hezhengyu	2024-01-31 04:08:57
cbmc-5.95.1-2.fc40	hezhengyu	2024-01-22 20:50:42
cbmc-5.95.1-1.fc40	hezhengyu	2023-12-20 09:17:53
cbmc-5.50.0-6.fc39	hezhengyu	2023-11-01 00:01:03
cbmc-5.50.0-4.rvrebuild.fc38	liuhaibin	2023-07-31 07:31:30
cbmc-5.50.0-4.fc38	kojiadmin	2023-05-03 01:18:20
cbmc-5.50.0-2.fc37	kojiadmin	2023-02-28 16:38:15
cbmc-5.50.0-1.fc37	kojiadmin	2023-01-31 00:22:35

Builds 1 through 9 of 9

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

Tags 1 through 4 of 4