File information
- Filename: minisat-2.2.1+20200902-lp155.17.4.src.rpm
- Path: /repositories/devel:/tools:/statica/15.5/src/minisat-2.2.1+20200902-lp155.17.4.src.rpm
- Size: 57KiB (58458 bytes)
- Last modified: 03-Jun-2024 14:25:00 (Unix timestamp: 1717424700)
- SHA-512 Hash: 89595e46fa326ef8d12e73e66886039794f07e26558c550d22fe4147be7a73043158c77bb9cd7a6896bf83dbd0b0cbd9b77fe50cf7b481c5cdfc134ddd303914
- SHA-256 Hash: 0f5809ec37b26d7847a6b954279afe5b941e8ef9510115a3f07ec5874b996014
- SHA-1 Hash: 10465826365621814b34b400467e183b1cb0feba
- MD5 Hash: 6bc110e40f22e3c77933646cdf72a85a
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://downloadcontent2.opensuse.org/repositories/devel:/tools:/statica/15.5/src/minisat-2.2.1+20200902-lp155.17.4.src.rpm
Mirrors
List of best mirrors for IP address 18.224.30.42, 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: 2
- ftp.gwdg.de (DE)
- opensuse.mirror.ac.za (ZA)