1. ^
2. ports
3. ppc
4. debug
5. factory
6. repo
7. oss
8. ppc64le
9. coq-debugsource-9.2.0-1.5.ppc64le.rpm

File information

• Filename: coq-debugsource-9.2.0-1.5.ppc64le.rpm
• Path: /ports/ppc/debug/factory/repo/oss/ppc64le/coq-debugsource-9.2.0-1.5.ppc64le.rpm
• Size: 36KiB (36702 bytes)
• Last modified: 04-Jul-2026 14:19:08 (Unix timestamp: 1783174748)
• SHA-512 Hash: d47ddfb79c28e96103574dbd2df502f5138131b2719d4251be6996e2e18b8ee201e6856079f57831683de66cdd6a2c28c9900f0a80a616b96534acf0f679adf6
• SHA-256 Hash: 62780da2144c774dc9ebbbffc928ae91c907753bb5d33070ae75b5ea1b9fee4e
• SHA-1 Hash: 44ec3edaf213125b8573c5be4b8e3bdf71cab454
• MD5 Hash: 63c2d6610dbabb51830311311dec645f
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/ports/ppc/debug/tumbleweed/repo/oss/ppc64le/coq-debugsource-9.2.0-1.5.ppc64le.rpm