1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. openSUSE_Factory_ARM
7. armv7hl
8. cbmc-5.85.0-1.25.armv7hl.rpm

File information

• Filename: cbmc-5.85.0-1.25.armv7hl.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Factory_ARM/armv7hl/cbmc-5.85.0-1.25.armv7hl.rpm
• Size: 14MiB (15196377 bytes)
• Last modified: 11-Apr-2025 00:13:05 (Unix timestamp: 1744330385)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://downloadcontent2.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_ARM/armv7hl/cbmc-5.85.0-1.25.armv7hl.rpm