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

File information

• Filename: cbmc-debugsource-5.85.0-1.27.armv7hl.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Factory_ARM/armv7hl/cbmc-debugsource-5.85.0-1.27.armv7hl.rpm
• Size: 1.8MiB (1913185 bytes)
• Last modified: 27-May-2025 21:19:00 (Unix timestamp: 1748380740)
• SHA-512 Hash: f6a13b9915f4f79bab8ec6eae265db18b1ef567c56d71eaaf5f4c4d33fffc584690987c4086bc591760e8b6e91658fe607a04d954fe013d618f929e348f0a2db
• SHA-256 Hash: 1450d8343a76b02c12a6a46b55181cfa35a9b1f681e884fdbbb1bf1256545b07
• SHA-1 Hash: b37c10cec2fdb91f737467e2b846f529b9ee691a
• MD5 Hash: 7508f53398a9b8f2ad2dfe114ca628a1
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Factory_ARM/armv7hl/cbmc-debugsource-5.85.0-1.27.armv7hl.rpm