File information
- Filename: minisat-2.2.1+20200902-3.2.src.rpm
- Path: /repositories/openSUSE:/Factory:/RISCV/standard/src/minisat-2.2.1+20200902-3.2.src.rpm
- Size: 66KiB (67173 bytes)
- Last modified: 10-Sep-2023 14:32:04 (Unix timestamp: 1694356324)
- SHA-512 Hash: b64e8a12505ffe066d6a1aafeedf1a58a3b89ec6c7c0599d522a35e68ac84f4f83d189b72d4ffa3621a68ab2b50b1eaf548f9ce687fff3128aef04cece11cb59
- SHA-256 Hash: cfbd9be2c102a62ba2219c6e0384155183887435559706a57512d605c8f3d054
- SHA-1 Hash: a8bdc9872765eaffcde2bb8496adee49f268a7d0
- MD5 Hash: ad9a04c592252b987698df2197f4eb2f
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Factory:/RISCV/standard/src/minisat-2.2.1+20200902-3.2.src.rpm
Mirrors
List of best mirrors for IP address 18.217.171.249, 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.liquidtelecom.com (KE)