1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP5
6. standard_debug
7. s390x
8. coq-debugsource-8.13.2-bp155.2.13.s390x.rpm

File information

• Filename: coq-debugsource-8.13.2-bp155.2.13.s390x.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/s390x/coq-debugsource-8.13.2-bp155.2.13.s390x.rpm
• Size: 1.8MiB (1841616 bytes)
• Last modified: 22-May-2023 13:43:16 (Unix timestamp: 1684762996)
• SHA-512 Hash: 47d1fac70db573895cb51a1e302c11ea99720e3be39fc91b252635371222e359f0e1624ad4df623f59ac05112fd1e4546aff3517754687eaef7d8b5927f07a1c
• SHA-256 Hash: 77a3a59c9f29378cf5847909eb8fe337a1995f52dad163776b5d5bdc14b62b62
• SHA-1 Hash: 6d193e109091423688c1666e3d49fac75748e37c
• MD5 Hash: c88919366d54d3c848a5a21626a56b73
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/s390x/coq-debugsource-8.13.2-bp155.2.13.s390x.rpm