kissat | Package Info | ISCAS openkoji system

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

Information for package kissat

Name

kissat

ID

20075

Builds

NVR	Built by	Finished	State
1 through 6 of 6
kissat-3.1.1-4.fc40	hezhengyu	2024-03-23 22:53:48
kissat-3.1.1-2.fc40	hezhengyu	2024-01-24 07:18:17
kissat-3.1.1-1.fc40	hezhengyu	2023-12-13 01:48:37
kissat-3.1.1-1.fc39	hezhengyu	2023-10-31 19:14:53
kissat-3.0.0-3.fc38	kojiadmin	2023-05-12 16:26:01
kissat-3.0.0-2.fc37	kojiadmin	2023-01-21 14:19:32

Builds 1 through 6 of 6

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

Tags 1 through 4 of 4