1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. openSUSE_Tumbleweed
7. aarch64
8. cbmc-debugsource-6.0.0-1.4.aarch64.rpm

File information

• Filename: cbmc-debugsource-6.0.0-1.4.aarch64.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/aarch64/cbmc-debugsource-6.0.0-1.4.aarch64.rpm
• Size: 1.8MiB (1916079 bytes)
• Last modified: 07-Jun-2025 13:52:00 (Unix timestamp: 1749304320)
• SHA-512 Hash: 5d491861e4dccb301d5355a8dc6c0d99afb5f86ff7534926ca31db552067db1f20085b8834118dbe000fa15d2e1d72fed200e0ed1e8055bf87551dc8dc60da02
• SHA-256 Hash: babcd1ca723809aa198e7753ee48fc79e46ab60e1c9772e212fbfe05ca4a0092
• SHA-1 Hash: 3afa4599245845864922c5059439c73ba342473b
• MD5 Hash: ad699b4381eaa524bddedb77943bbf49
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/aarch64/cbmc-debugsource-6.0.0-1.4.aarch64.rpm