1. ^
2. ports
3. zsystems
4. source
5. tumbleweed
6. repo
7. oss
8. src
9. minisat-2.2.1+20200902-3.9.src.rpm

File information

• Filename: minisat-2.2.1+20200902-3.9.src.rpm
• Path: /ports/zsystems/source/tumbleweed/repo/oss/src/minisat-2.2.1+20200902-3.9.src.rpm
• Size: 65KiB (66431 bytes)
• Last modified: 11-Jan-2025 04:45:00 (Unix timestamp: 1736570700)
• SHA-512 Hash: be88dc41a87aaf9a859668e18593fc4b1c4f36156c268a6f00d47e34ee075201adc3005e024ba4e47f2efb1d6c5a9fe42e9ec6754e135e4ecb279db1b1265242
• SHA-256 Hash: a9e32eef5d1f05c03e24d8cf85e0c52d8c3cd1153e96af139aa9ae5f9184d3d6
• SHA-1 Hash: 99394fccfe971cda37e43f0acb848092a087e81e
• MD5 Hash: d1a976bd70421fa454cbbeceb95e3554
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/ports/zsystems/source/tumbleweed/repo/oss/src/minisat-2.2.1+20200902-3.9.src.rpm