Sun, 22 Sep 2024 18:05:15 UTC | login

Information for package cvc5

Namecvc5
ID32237
Builds
1 through 5 of 5
NVR Built by Finished State descending sort
cvc5-1.0.8-1.fc40 davidlt 2024-01-04 16:19:14 failed
cvc5-1.1.0-1.fc40 davidlt 2024-01-11 22:55:31 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.2-5.fc41 davidlt 2024-08-15 21:36:22 complete
Builds 1 through 5 of 5
Tags
1 through 2 of 2
Name Owner Included? ascending sort Extra Arches
f40 kojiadmin yes
f41 kojiadmin yes
Tags 1 through 2 of 2