fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for package cvc5

Namecvc5
ID2035
Builds
1 through 16 of 16
NVR Built by Finished descending sort State
cvc5-1.3.3-2.fc44 hezhengyu 2026-05-15 18:34:38 failed
cvc5-1.3.3-1.fc44 liuyang 2026-05-03 18:43:03 failed
cvc5-1.3.2-4.fc44 liuyang 2026-04-26 23:29:17 failed
cvc5-1.3.2-2.fc44 liuyang 2026-04-26 14:52:54 failed
cvc5-1.3.2-1.fc43 zhangsongsong 2026-01-06 16:39:26 complete
cvc5-1.3.1-1.fc43 kojiadmin 2025-11-18 16:02:51 complete
cvc5-1.2.1-5.fc42 kojiadmin 2025-11-05 16:25:10 failed
cvc5-1.3.0-4.fc43 zhangsongsong 2025-09-16 01:51:20 failed
cvc5-1.2.1-4.fc42 kojiadmin 2025-05-02 07:08:30 failed
cvc5-1.2.1-2.fc42 liyunru 2025-04-15 21:29:49 failed
cvc5-1.2.1-3.fc42 kojiadmin 2025-04-15 06:09:01 failed
cvc5-1.2.0-1.fc41 zhangsongsong 2025-01-04 14:53:04 failed
cvc5-1.1.2-5.fc41 kojiadmin 2024-09-06 01:12:04 complete
cvc5-1.1.2-3.fc41 kojiadmin 2024-06-18 20:05:40 complete
cvc5-1.1.2-2.fc40 kojiadmin 2024-05-31 05:52:29 complete
cvc5-1.1.2-2.fc41 kojiadmin 2024-05-23 10:02:18 complete
Builds 1 through 16 of 16
Tags
1 through 7 of 7
Name ascending sort Owner Included? Extra Arches
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
f42 kojiadmin yes
f43 kojiadmin yes
f44 kojiadmin yes
f45 kojiadmin yes
Tags 1 through 7 of 7