1. ^
2. repositories
3. devel:
4. tools:
5. statica
6. openSUSE_Tumbleweed
7. aarch64
8. minisat-2.2.1+20230206-4.15.aarch64.rpm

File information

• Filename: minisat-2.2.1+20230206-4.15.aarch64.rpm
• Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/aarch64/minisat-2.2.1+20230206-4.15.aarch64.rpm
• Size: 22KiB (23032 bytes)
• Last modified: 01-Sep-2026 17:52:28 (Unix timestamp: 1788285148)
• SHA-512 Hash: 4ea1217d835d93b12b443fa7960b61a93b378d180aedd1ae5109f9b06647648577d8c6bdf3b7453c2195a2e37eaafd499d3ef77679b9429ef496d1125de8d99b
• SHA-256 Hash: f2536692408a31da493068489168e1a39d5c851545451e00c59f0e74d83b2ad3
• SHA-1 Hash: c21e2717d253213e57a592824cb05300ba478522
• MD5 Hash: f348d019440b3fbc69bac3ed7be24390
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/aarch64/minisat-2.2.1+20230206-4.15.aarch64.rpm