1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. 15.5
7. x86_64
8. cbmc-debuginfo-5.85.0-lp155.1.6.x86_64.rpm

File information

• Filename: cbmc-debuginfo-5.85.0-lp155.1.6.x86_64.rpm
• Path: /repositories/devel:/tools:/statica/15.5/x86_64/cbmc-debuginfo-5.85.0-lp155.1.6.x86_64.rpm
• Size: 273MiB (286533776 bytes)
• Last modified: 17-Oct-2024 05:59:30 (Unix timestamp: 1729144770)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://mirror.firstyear.id.au/repositories/devel:/tools:/statica/15.5/x86_64/cbmc-debuginfo-5.85.0-lp155.1.6.x86_64.rpm