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

File information

• Filename: coq-debugsource-8.13.2-bp155.2.13.ppc64le.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/ppc64le/coq-debugsource-8.13.2-bp155.2.13.ppc64le.rpm
• Size: 1.8MiB (1841376 bytes)
• Last modified: 22-May-2023 10:46:00 (Unix timestamp: 1684752360)
• SHA-512 Hash: 479806f481f84beeb19c63caa2a6b4ab9e9e0254a14501f93f8c5dfae3104e7f6eba07c6388df55564bdd11d766963483f34249d71b6d2cad619dcb390ec75af
• SHA-256 Hash: 31dbb0f75cfb6db4047785685bcdee71b5623e0f2cbc37928ba3fa570a370cb9
• SHA-1 Hash: 5b5a90a23ecfca7460ab6a91df59b0a25e640bb6
• MD5 Hash: 0eb16f0390d01d97f4eacce79949fb7c
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/ppc64le/coq-debugsource-8.13.2-bp155.2.13.ppc64le.rpm