1. ^
2. ports
3. aarch64
4. source
5. factory
6. repo
7. oss
8. src
9. minisat-2.2.1+20230206-1.2.src.rpm

File information

• Filename: minisat-2.2.1+20230206-1.2.src.rpm
• Path: /ports/aarch64/source/factory/repo/oss/src/minisat-2.2.1+20230206-1.2.src.rpm
• Size: 65KiB (66782 bytes)
• Last modified: 01-Nov-2025 21:26:23 (Unix timestamp: 1762032383)
• SHA-512 Hash: 365428f3a59103b6fd525a42acf63b41a1a343e1908c320dc138979d402bf7c3f3ef8a1613b8e9698260c413bd568129eee85e33cfc7d89e67624779ac367f30
• SHA-256 Hash: 0e3a92e5e8b309a58d6da0e85c38a304044dfe17512580cbf8354c33c7f8e2c9
• SHA-1 Hash: d9a5b7081afaf9f9ec55394bc372864772ea3ab2
• MD5 Hash: 79e3cff1b73c468e4cfb757a4e152bb6
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/ports/aarch64/source/tumbleweed/repo/oss/src/minisat-2.2.1+20230206-1.2.src.rpm