1. ^
2. repositories
3. home:
4. lalala123:
5. x86_succeed_pro
6. RISCV
7. riscv64
8. metamath-0.198-1.2.riscv64.rpm

File information

• Filename: metamath-0.198-1.2.riscv64.rpm
• Path: /repositories/home:/lalala123:/x86_succeed_pro/RISCV/riscv64/metamath-0.198-1.2.riscv64.rpm
• Size: 408KiB (417619 bytes)
• Last modified: 21-Oct-2025 22:35:25 (Unix timestamp: 1761086125)
• SHA-512 Hash: ffdc27febe927a0a2d437b3b1bf43f2d9d0c5f8c947074acb80b9c9c8d6e1f67d768738bcd202f1a50fd76efaef876ce9c5a85e101ec9c05041b951dcbaf297d
• SHA-256 Hash: 2b5d54b7451a938eb058123f0d1b32532257d0275e0aec9f435be745514283c1
• SHA-1 Hash: a72a0b3268580b462057e79d847ead7aa797c76d
• MD5 Hash: 61c2258818fa36a4b9ad79b6908777c0
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/home:/lalala123:/x86_succeed_pro/RISCV/riscv64/metamath-0.198-1.2.riscv64.rpm