1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP4
6. standard_debug
7. ppc64le
8. coq-debuginfo-8.13.2-bp154.1.44.ppc64le.rpm

File information

• Filename: coq-debuginfo-8.13.2-bp154.1.44.ppc64le.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/ppc64le/coq-debuginfo-8.13.2-bp154.1.44.ppc64le.rpm
• Size: 5.2MiB (5484768 bytes)
• Last modified: 12-May-2022 02:22:58 (Unix timestamp: 1652322178)
• SHA-512 Hash: 7757cf5784bdb93f649db950253124b31375c5fbb4b3a4b1c4e1de6770924fec49b556a3c31855dae73e640a7337780b48f823b9832b91587b4e458faa04e3f4
• SHA-256 Hash: d01deec1b4e178ebd039d5019af0db97b302628bfd745299e9b7ab021c48d75f
• SHA-1 Hash: 9b08133a23be0b574bc5f3059dde4e2a4db910c6
• MD5 Hash: c003b6ceabb8d1b9e3d907348dfe3df0
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://cdn.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/ppc64le/coq-debuginfo-8.13.2-bp154.1.44.ppc64le.rpm