1. ^
2. ports
3. armv6hl
4. source
5. factory
6. repo
7. oss
8. src
9. minisat-2.2.1+20200902-3.11.src.rpm

File information

• Filename: minisat-2.2.1+20200902-3.11.src.rpm
• Path: /ports/armv6hl/source/factory/repo/oss/src/minisat-2.2.1+20200902-3.11.src.rpm
• Size: 65KiB (66270 bytes)
• Last modified: 11-Mar-2025 00:46:27 (Unix timestamp: 1741653987)
• SHA-512 Hash: 2a2426748b25699dd209b0d55ed3d53792705c8c018cd8db329c6ba1dadc8b8c592340cde655c35b526c2e89a3941fdf0afb1433d20fa06c188a22ecf9dfeda5
• SHA-256 Hash: 7fe0abe7c8c158d44648e9dcd9a01308eab56479fc708fb22448ff615ded446a
• SHA-1 Hash: db42aaea425c7b0e2ccc061f8e98add5cb8f4cfc
• MD5 Hash: 8ee25e6c31f2bedd0fffe6d50b1870df
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/ports/armv6hl/source/tumbleweed/repo/oss/src/minisat-2.2.1+20200902-3.11.src.rpm