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

File information

• Filename: coq-debugsource-9.2.0-87.13.ppc64le.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/ppc64le/coq-debugsource-9.2.0-87.13.ppc64le.rpm
• Size: 36KiB (36886 bytes)
• Last modified: 27-Aug-2026 00:30:00 (Unix timestamp: 1787790600)
• SHA-512 Hash: 47edc9ffdc9abf27004a31914ca00f3b7f5ef5a65f375ed31a0153d5bad194d80142d571ad77ca6c631f3b4930ccee1ed81a9522a0e784188c534a821ec77b1a
• SHA-256 Hash: 5ee95ba1af76e55d030e22500f2f6f22826c06336300014abc010877d02343b8
• SHA-1 Hash: 4fd4f74d4215e2a9c9cd21f05bccff39a3165303
• MD5 Hash: 45ecabd07f6f8a6dd7aebb5d8c2f02c9
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/ppc64le/coq-debugsource-9.2.0-87.13.ppc64le.rpm