Tue, 26 Nov 2024 01:25:50 UTC | login

Information for package cvc5

Namecvc5
ID32237
Builds
1 through 6 of 6
NVR Built by Finished descending sort State
cvc5-1.2.0-1.fc41 davidlt 2024-10-27 10:04:17 failed
cvc5-1.1.2-5.fc41 davidlt 2024-08-15 21:36:22 complete
cvc5-1.1.2-3.fc41 davidlt 2024-07-11 20:10:48 complete
cvc5-1.1.2-1.fc40 davidlt 2024-04-14 16:37:11 complete
cvc5-1.1.0-1.fc40 davidlt 2024-01-11 22:55:31 complete
cvc5-1.0.8-1.fc40 davidlt 2024-01-04 16:19:14 failed
Builds 1 through 6 of 6
Tags
1 through 2 of 2
Name ascending sort Owner Included? Extra Arches
f40 kojiadmin yes
f41 kojiadmin yes
Tags 1 through 2 of 2