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

Information for package cvc4

Namecvc4
ID15290
Builds
1 through 3 of 3
NVR Built by Finished descending sort State
cvc4-1.8-15.fc38 kojiadmin 2023-06-19 15:50:02 complete
cvc4-1.8-13.fc37 kojiadmin 2023-02-28 01:34:05 failed
cvc4-1.8-12.fc37 kojiadmin 2023-01-31 06:33:06 failed
Builds 1 through 3 of 3
Tags
1 through 2 of 2
Name ascending sort Owner Included? Extra Arches
f37 kojiadmin yes
f38 kojiadmin yes
Tags 1 through 2 of 2