File information
- Filename: minisat-2.2.1+20200902-lp155.17.6.src.rpm
- Path: /repositories/devel:/tools:/statica/15.5/src/minisat-2.2.1+20200902-lp155.17.6.src.rpm
- Size: 56KiB (57828 bytes)
- Last modified: 24-Dec-2024 05:04:00 (Unix timestamp: 1735016640)
- SHA-512 Hash: e0e477d7a46e55e3097def20f796455f19012761d045f5f9019362d8bc120da0a0beb825b75dc005d827afb695151a504b6603c41cacb1343feeb2a26e1035d5
- SHA-256 Hash: 5ec9dc0476f45c8ff792b1b8acbae476ab771bac417cdb4d1b4020815f28a361
- SHA-1 Hash: 7a58884006100187f402685b32b86413d8fdb553
- MD5 Hash: 5b89bad8157fef5745c7198b1764cce3
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/tools:/statica/15.5/src/minisat-2.2.1+20200902-lp155.17.6.src.rpm
Mirrors
List of best mirrors for IP address 3.22.242.43, 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: 1
- ftp.gwdg.de (DE)