1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. ppc64
6. coq-ide-debuginfo-8.17.1-52.32.ppc64.rpm

File information

• Filename: coq-ide-debuginfo-8.17.1-52.32.ppc64.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-ide-debuginfo-8.17.1-52.32.ppc64.rpm
• Size: 3MiB (3108919 bytes)
• Last modified: 10-Sep-2023 23:25:59 (Unix timestamp: 1694388359)
• SHA-512 Hash: 50766b53171e20af42d116334c246662cf5cde56a258a1c1625e0301b4588a51786b193a0d8f2d45ad85cc8cd6107e5b585158f5dc32e6c056876233e1213a8c
• SHA-256 Hash: 19e15bb12ecfb96bef5ac6da5143b3cbd8839c3d3fd3c06ca49ed95bad9839a0
• SHA-1 Hash: 5521e70c632d9f2225896defc4928f0da15a949e
• MD5 Hash: 1beda8c1388b99ef259b64d43068cc13
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-ide-debuginfo-8.17.1-52.32.ppc64.rpm