1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP2
6. standard
7. src
8. minisat-2.2.0+20130925-bp152.3.16.src.rpm

File information

• Filename: minisat-2.2.0+20130925-bp152.3.16.src.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP2/standard/src/minisat-2.2.0+20130925-bp152.3.16.src.rpm
• Size: 50KiB (51388 bytes)
• Last modified: 16-Apr-2020 18:45:43 (Unix timestamp: 1587062743)
• SHA-512 Hash: d4487747dff59d6a25fc22a1108a25cb2668ddd90e2ef6d557210e7530055bc2245513265bfcbc60d74f4dc017a20da388b8ec016238449fef093da43d904e17
• SHA-256 Hash: aa5eb3234a0da2e781f364fc2d8e472bab0d50d30377d7be582906a279fc746b
• SHA-1 Hash: 4a69cdaee2fd02a7a6f154d275e5fec8ca136a65
• MD5 Hash: 7438229f6f3bb29b938d1ac9c882afc7
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP2/standard/src/minisat-2.2.0+20130925-bp152.3.16.src.rpm