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

File information

• Filename: cbmc-debugsource-6.0.0-2.13.x86_64.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-debugsource-6.0.0-2.13.x86_64.rpm
• Size: 1.8MiB (1915384 bytes)
• Last modified: 23-Oct-2025 21:56:00 (Unix timestamp: 1761256560)
• SHA-512 Hash: 7de404d44058946de5b67fb321500a665a2e770447d210236b38cc726ad6066bd2dfabea2e3d3b8bdc5a7744dd656283c3d0c28077be6076d6320c10d5133b4b
• SHA-256 Hash: 2c9e545b07c50a57db3a3019d5f36f8cd30770fa04a3613446e6e69033c1ea47
• SHA-1 Hash: 2a3b10112c070920b218262b066f763875ca256c
• MD5 Hash: f3b7c5cee3f30edf885972fe7ae79e7f
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64/cbmc-debugsource-6.0.0-2.13.x86_64.rpm