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

File information

• Filename: cbmc-debugsource-5.85.0-1.20.armv7hl.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Factory_ARM/armv7hl/cbmc-debugsource-5.85.0-1.20.armv7hl.rpm
• Size: 1.8MiB (1913128 bytes)
• Last modified: 31-Jan-2025 18:03:25 (Unix timestamp: 1738346605)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://mirror.firstyear.id.au/repositories/devel:/tools:/statica/openSUSE_Factory_ARM/armv7hl/cbmc-debugsource-5.85.0-1.20.armv7hl.rpm