File information
- Filename: minisat-2.2.1+20200902-lp156.17.3.src.rpm
- Path: /repositories/devel:/tools:/statica/15.6/src/minisat-2.2.1+20200902-lp156.17.3.src.rpm
- Size: 57KiB (58459 bytes)
- Last modified: 09-May-2024 09:07:29 (Unix timestamp: 1715245649)
- SHA-512 Hash: 316e1b564ddae166c072a2cf3ae175d1a2627e54e2934ac3b9414c8e8aad708a0bf0ca1f3d1c51852a447f26cf7c27b4eecd3540b2a6ee95df2f7644c8cf382b
- SHA-256 Hash: 7ad485795d8ad6fbeabb85c04b05e234e3dd8541fa020cca011f2e434e9d3a3a
- SHA-1 Hash: c564ae67e7b8186d3aa0173205dc0236c74dd19f
- MD5 Hash: 9dd69861b67062a79313790cc3b9149f
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://cdn.opensuse.org/repositories/devel:/tools:/statica/15.6/src/minisat-2.2.1+20200902-lp156.17.3.src.rpm
Mirrors
List of best mirrors for IP address ::ffff:18.222.56.71, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 0
- None