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

File information

• Filename: coq-ide-8.20.1-72.47.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-ide-8.20.1-72.47.ppc64le.rpm
• Size: 23MiB (24146729 bytes)
• Last modified: 18-Mar-2025 23:47:00 (Unix timestamp: 1742341620)
• SHA-512 Hash: f645ad78e178f076d0f863d6e937da10a501fb439bb418566a6cc51d25d2c8f4374966968553359f85d5f5c0a5ad0d130dba96fdb700e8c558df2c64a1cd135a
• SHA-256 Hash: a48c7553844833a0315062153ab29c19c656d88e76eedee22e66d73433e8bfab
• SHA-1 Hash: 29137f06add8fb28890dfa1a89d41df29fa0825a
• MD5 Hash: a5e3cdc2f8be16fe509a487de6de3e56
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-ide-8.20.1-72.47.ppc64le.rpm