Download
Shortcuts
debug
distribution
factory
ports
repositories
source
tumbleweed
update
MirrorCache
Mirrors
Packages
Projects
Efficiency
Statistics
User menu
Log in
Reports
All Mirrors
15.4 Mirrors
15.5 Mirrors
TW Mirrors
Build Service Mirrors
Downloads/project
Downloads/mirror
Downloads/OS
Downloads/country
Downloads/arch
Downloads/type
^
repositories
home:
shunghsiyu:
branches:
devel:
tools:
statica
openSUSE_Tumbleweed
x86_64
Name
Last Modified
Size
Parent Directory
cbmc-6.8.0-5.7.x86_64.rpm
26-Feb-2026 10:43
18MiB
cbmc-debuginfo-6.8.0-5.7.x86_64.rpm
26-Feb-2026 10:43
286MiB
cbmc-debugsource-6.8.0-5.7.x86_64.rpm
26-Feb-2026 10:43
1.8MiB