1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. ppc64le
6. coq-ide-debuginfo-8.20.1-72.223.ppc64le.rpm

File information

• Filename: coq-ide-debuginfo-8.20.1-72.223.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-ide-debuginfo-8.20.1-72.223.ppc64le.rpm
• Size: 3MiB (3158013 bytes)
• Last modified: 11-Nov-2025 21:15:00 (Unix timestamp: 1762895700)
• SHA-512 Hash: a484649bd5fbc9816c0c5809d6c7714f065aefb32221c1b8b6ebe7de21f8ba18aeaa92b7b0c1a37a49cc369d226d349039d0272f14301a82338deed6160c85af
• SHA-256 Hash: ecdfade877b5bd7f1f4aeeaf2181864175c15769dea9751167f21911cd37f692
• SHA-1 Hash: d09dc2ba3d533e37695c04f73818127843171f8c
• MD5 Hash: 57ac963f7b9efbcb334d312b7b38f71f
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-ide-debuginfo-8.20.1-72.223.ppc64le.rpm