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

File information

• Filename: coq-debugsource-9.2.0-85.2.ppc64le.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/ppc64le/coq-debugsource-9.2.0-85.2.ppc64le.rpm
• Size: 36KiB (36882 bytes)
• Last modified: 04-Aug-2026 19:20:12 (Unix timestamp: 1785871212)
• SHA-512 Hash: 25d7076336c143a711fb5fbe23b1da18b309689d04196b699565caf8a9702c8f4624df57bf6e7ed82c72210027ff004b5bdd5422b8fd39e1cc5220e515f64fc9
• SHA-256 Hash: 48b51f7e652cd28b09537e9302765d6acafc1baa7af6d313a1c5578987ec124f
• SHA-1 Hash: 6f877bd7f709a1d3e58cd6cb1e99bfd5e45aed82
• MD5 Hash: 9ecc4a6f8058a3c02e2fa5cff4fe4318
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/ppc64le/coq-debugsource-9.2.0-85.2.ppc64le.rpm