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

File information

• Filename: minisat-2.2.0+20130925-bp151.2.16.src.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP1/standard/src/minisat-2.2.0+20130925-bp151.2.16.src.rpm
• Size: 50KiB (51387 bytes)
• Last modified: 18-May-2019 12:15:00 (Unix timestamp: 1558181700)
• SHA-512 Hash: 0c08fc513d81de6ad5d2a417bd44fff4bf504b56ebc7356a898e1b02e4ee1ad47725a6e6de352de52c030c6ac22d9a10fba958ac5d9b1736e865c29b137bd294
• SHA-256 Hash: 807580a973cffbf2728a2ecf9cadd1352c444895ad3786436a033048873ccf25
• SHA-1 Hash: 0384f776cd4a874d3dd4d71553713b9369168a5c
• MD5 Hash: 3e9228a957097bdf48444dee46ded5f2
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP1/standard/src/minisat-2.2.0+20130925-bp151.2.16.src.rpm