File information
- Filename: yices-devel-2.6.4-lp154.4.3.x86_64.rpm
- Path: /repositories/home:/geewass:/pharos/15.4/x86_64/yices-devel-2.6.4-lp154.4.3.x86_64.rpm
- Size: 1MiB (1061716 bytes)
- Last modified: 05-Jul-2022 22:01:05 (Unix timestamp: 1657058465)
- SHA-512 Hash: c1ddcb0e5daa94e184f1507a5c51d5b0e66a5b78319f91c744ab41df6d09abaf72afe3e9fed6840a6e2ca066ebeb8e7968ef50becfccb641b2ebf8c493583db2
- SHA-256 Hash: 57746b27b14db457a83f6896d9aacd7c799f29bd1a95d7b6d8248049950e0058
- SHA-1 Hash: 6ff57e970c8d91b9d8a2154002d35898d844135f
- MD5 Hash: a31ed230b2ebd4d23250f42cbce406a5
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/home:/geewass:/pharos/15.4/x86_64/yices-devel-2.6.4-lp154.4.3.x86_64.rpm
Mirrors
List of best mirrors for IP address 172.69.59.35, located at 41.8835,-87.6305 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 4
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- ftp.lysator.liu.se (SE)