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

File information

• Filename: minisat-2.2.0+20130925-bp152.3.16.x86_64.rpm
• Path: /distribution/jump/15.2/repo/oss/x86_64/minisat-2.2.0+20130925-bp152.3.16.x86_64.rpm
• Size: 18KiB (18692 bytes)
• Last modified: 16-Apr-2020 18:23:00 (Unix timestamp: 1587061380)
• SHA-512 Hash: 51d425480cac8c7f643bcfc181a87f2dbc3356987c622d14bb297672beb61e1e4c526a7b85cc94edd9b6d81ede1b0d7397c1e5182852e65bc0ea177892adbaeb
• SHA-256 Hash: e1e4cf1a0bb91d8f5cec42331e3dfb2b15484a6191b11eb768a7c3872550f132
• SHA-1 Hash: faf185b04f44e976b794d6dc54df6620cdafc9e1
• MD5 Hash: 7ee29e3a659e2e188361ec928b1cf29c
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/distribution/jump/15.2/repo/oss/x86_64/minisat-2.2.0+20130925-bp152.3.16.x86_64.rpm