Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Tue, 26 Nov 2024 01:25:50 UTC |
login
Information for package
cvc5
Name
cvc5
ID
32237
Builds
1 through 6 of 6
NVR
Built by
Finished
State
cvc5-1.2.0-1.fc41
davidlt
2024-10-27 10:04:17
cvc5-1.1.2-5.fc41
davidlt
2024-08-15 21:36:22
cvc5-1.1.2-3.fc41
davidlt
2024-07-11 20:10:48
cvc5-1.1.2-1.fc40
davidlt
2024-04-14 16:37:11
cvc5-1.1.0-1.fc40
davidlt
2024-01-11 22:55:31
cvc5-1.0.8-1.fc40
davidlt
2024-01-04 16:19:14
Builds 1 through 6 of 6
Tags
1 through 2 of 2
Name
Owner
Included?
Extra Arches
f40
kojiadmin
f41
kojiadmin
Tags 1 through 2 of 2
Copyright © 2006-2016 Red Hat, Inc.