cvc5 | Package Info | ISCAS openkoji system

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

Information for package cvc5

Name

cvc5

ID

26115

Builds

NVR	Built by	Finished	State
1 through 7 of 7
cvc5-1.1.2-2.fc40	hezhengyu	2024-04-14 20:46:18
cvc5-1.1.2-1.fc40	hezhengyu	2024-04-05 06:48:53
cvc5-1.1.1-1.fc40	hezhengyu	2024-02-21 16:19:07
cvc5-1.1.0-1.fc40	hezhengyu	2024-01-21 12:35:28
cvc5-1.1.0-1.fc39	hezhengyu	2024-01-19 00:44:04
cvc5-1.0.8-1.fc40	hezhengyu	2024-01-10 03:57:13
cvc5-1.0.8-1.fc39	hezhengyu	2024-01-08 22:48:32

Builds 1 through 7 of 7

Name	Owner	Included?	Extra Arches
1 through 2 of 2
f39	kojiadmin
f40	kojiadmin

Tags 1 through 2 of 2