Sun, 22 Sep 2024 00:57:20 UTC | login

Information for package cvc5

Namecvc5
ID32237
Builds
1 through 5 of 5
NVR Built by ascending sort Finished State
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
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 ascending sort Owner Included? Extra Arches
f40 kojiadmin yes
f41 kojiadmin yes
Tags 1 through 2 of 2