1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. ppc64le
6. coq-debugsource-9.2.0-82.37.ppc64le.rpm

File information

• Filename: coq-debugsource-9.2.0-82.37.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-debugsource-9.2.0-82.37.ppc64le.rpm
• Size: 36KiB (36706 bytes)
• Last modified: 21-May-2026 20:37:00 (Unix timestamp: 1779395820)
• SHA-512 Hash: e7c8bff33e3387ead00d7542aa62c00848c4a0e14eb3940044d5eb45fc4efc4b09cd34342751c71147abfc8aba5d3f686861d97b51acb9e510487d4d61efab6b
• SHA-256 Hash: c007be353c38d11e794caf4269124e3cbdcab607bf9e37769162f10fe782d2af
• SHA-1 Hash: 5c643eed696fe9d91e23a334935d103597f15d81
• MD5 Hash: 0f79e0511bf2ee268119c1bbb76e5438
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-debugsource-9.2.0-82.37.ppc64le.rpm