1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP7
6. standard_debug
7. aarch64
8. coq-debugsource-8.19.1-bp157.1.56.aarch64.rpm

File information

• Filename: coq-debugsource-8.19.1-bp157.1.56.aarch64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-debugsource-8.19.1-bp157.1.56.aarch64.rpm
• Size: 2MiB (2051104 bytes)
• Last modified: 26-Jan-2025 11:17:00 (Unix timestamp: 1737890220)
• SHA-512 Hash: 7117c379221aa2172cab8ce811fb1017f7a16208ebf3c6f98e6252dea380809fe829590a6a4942ee520868ce92ce3e66cef672186e1fe8fdc8eff6278468b9e3
• SHA-256 Hash: df6869f99ca8ccc6c14d34e9515fd15dc9119c212b4812fdf8e44529af58b788
• SHA-1 Hash: 5082b06542bc9a4e8ebd621591809bd8f5ee78c0
• MD5 Hash: 0d27055d9808744cf7562c204790e4e8
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-debugsource-8.19.1-bp157.1.56.aarch64.rpm