1. ^
2. distribution
3. jump
4. 15.2
5. repo
6. oss
7. x86_64
8. minisat-devel-2.2.0+20130925-bp152.3.16.x86_64.rpm

File information

• Filename: minisat-devel-2.2.0+20130925-bp152.3.16.x86_64.rpm
• Path: /distribution/jump/15.2/repo/oss/x86_64/minisat-devel-2.2.0+20130925-bp152.3.16.x86_64.rpm
• Size: 32KiB (32260 bytes)
• Last modified: 16-Apr-2020 18:23:00 (Unix timestamp: 1587061380)
• SHA-512 Hash: 05153faaa6703c072cb494bb5477bfe27adb9164b9d8b263691cfbb88f6113be0e490a60343abc444c7b977ccede3bf7fbb307f72918e5fa8b346630a553036f
• SHA-256 Hash: 81ae4a03c13b6d7c7e813e0fca65a68a11a5b2a5da54bf8606f0b6e7d15d2098
• SHA-1 Hash: 46598720f778bf9488bb7e82f00fb708268f59c7
• MD5 Hash: 9a8d74043a969d62dc295a5a918f7785
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/distribution/jump/15.2/repo/oss/x86_64/minisat-devel-2.2.0+20130925-bp152.3.16.x86_64.rpm