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
15.6
x86_64
Name
Last Modified
Size
Parent Directory
cbmc-6.8.0-lp156.5.3.x86_64.rpm
27-Feb-2026 00:43
21MiB
cbmc-debuginfo-6.8.0-lp156.5.3.x86_64.rpm
27-Feb-2026 00:43
465MiB
cbmc-debugsource-6.8.0-lp156.5.3.x86_64.rpm
27-Feb-2026 00:43
1.9MiB