1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. openSUSE_Tumbleweed
7. x86_64
8. cbmc-5.85.0-1.46.x86_64.rpm

File information

• Filename: cbmc-5.85.0-1.46.x86_64.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-5.85.0-1.46.x86_64.rpm
• Size: 16MiB (17278497 bytes)
• Last modified: 05-May-2025 19:00:27 (Unix timestamp: 1746471627)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-5.85.0-1.46.x86_64.rpm