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

File information

• Filename: cbmc-debugsource-6.0.0-1.4.x86_64.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-debugsource-6.0.0-1.4.x86_64.rpm
• Size: 1.8MiB (1916051 bytes)
• Last modified: 07-Jun-2025 13:08:39 (Unix timestamp: 1749301719)
• SHA-512 Hash: 213447192125f9e27550981bd9164afc94c1c94c2fa310faf2ecb293c178a9295f4408f0a3be94b007c1c5bc7573b858b97ab6b40a7387448ea9bb3c6e0bfe29
• SHA-256 Hash: 8af37b3bc300b98ef1602ed2f6ee00022adc6e89dbefec2c700741381b48265a
• SHA-1 Hash: 52a40516fef40a9d59c872376e3e621910d59f5e
• MD5 Hash: c24de28ede8290d2fd2cefcf778f6738
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-debugsource-6.0.0-1.4.x86_64.rpm