File information
- Filename: minisat-2.2.1+20200902-17.58.src.rpm
- Path: /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/src/minisat-2.2.1+20200902-17.58.src.rpm
- Size: 65KiB (67045 bytes)
- Last modified: 24-May-2024 13:27:00 (Unix timestamp: 1716557220)
- SHA-512 Hash: 80a354880ac37070ac0eecac2aec2f94f07690c5652d029639f1e13e0429ffc517bd022f1f3b0b8d96d33364f8d98091e3d39508b57649d83cd0fffef7fec5aa
- SHA-256 Hash: 511e54851a972a0ed5812138d61359f5b9f096ac9860618e4b663ec8bdb9b049
- SHA-1 Hash: 2a12810bb742c4986f01b9865dc1b79ca28b24b9
- MD5 Hash: 8310d7400250c89aeeda5b2271eddff4
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/src/minisat-2.2.1+20200902-17.58.src.rpm
Mirrors
List of best mirrors for IP address 172.70.126.122, located at 41.972,-87.7596 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)