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

File information

• Filename: coq-debugsource-8.13.2-bp154.1.44.s390x.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-debugsource-8.13.2-bp154.1.44.s390x.rpm
• Size: 1.8MiB (1840988 bytes)
• Last modified: 12-May-2022 07:57:00 (Unix timestamp: 1652342220)
• SHA-512 Hash: cc6960abe15b578994868bb8037c3576cf2ccf9502e12bc1313b2fa540b4681c8558da12c2c5f46b251f1f9f623d894df70d540ec7098a2f0221748eec958468
• SHA-256 Hash: 54eebe59c2acf5c9d4ee545dd6a3c315b5309274026c288ec38dcd2a68e6d51e
• SHA-1 Hash: be945be2ca583b2e50f03a7dac7db8d5fb26395b
• MD5 Hash: 2224a95770c84e6f94d3396f52fb7ae6
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-debugsource-8.13.2-bp154.1.44.s390x.rpm