1. ^
2. repositories
3. home:
4. shunghsiyu:
5. branches:
6. devel:
7. tools:
8. statica
9. 16.0
10. src
11. cbmc-6.8.0-lp160.5.3.src.rpm

File information

• Filename: cbmc-6.8.0-lp160.5.3.src.rpm
• Path: /repositories/home:/shunghsiyu:/branches:/devel:/tools:/statica/16.0/src/cbmc-6.8.0-lp160.5.3.src.rpm
• Size: 8.6MiB (9039544 bytes)
• Last modified: 27-Feb-2026 00:36:00 (Unix timestamp: 1772152560)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/home:/shunghsiyu:/branches:/devel:/tools:/statica/16.0/src/cbmc-6.8.0-lp160.5.3.src.rpm