File information
- Filename: ghc-Agda-2.5.2-lp150.1.2.aarch64.rpm
- Path: /ports/aarch64/distribution/leap/15.0/repo/oss/aarch64/ghc-Agda-2.5.2-lp150.1.2.aarch64.rpm
- Size: 6.8MiB (7170336 bytes)
- Last modified: 12-May-2018 23:38:00 (Unix timestamp: 1526168280)
- SHA-512 Hash: 9b58ff0cbdcf42f91f9f8cfab88b217d3d1b98a4f87acd0471d91142fe20bff8df176a5fcd47cc66f6c99342d655f261555d8921749ed9d9742d40bb80c8d569
- SHA-256 Hash: 0cea5052f2f1a92bbc6eb65f6464960a846d0ef6fe8392b19ba0a935ed3d0b0f
- SHA-1 Hash: af9604589fa8434c57ec9a6460d25b4ff50fc1ce
- MD5 Hash: 7654e5b502a1c00d05729f432b5dee0d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/ports/aarch64/distribution/leap/15.0/repo/oss/aarch64/ghc-Agda-2.5.2-lp150.1.2.aarch64.rpm
Mirrors
List of best mirrors for IP address 3.230.162.238, located at 39.0469,-77.4903 in (US)
Mirrors which handle this country: 3
- mirror.vtti.vt.edu (US)
- www.gtlib.gatech.edu (US)
- mirror.datto.com (US)
Mirrors in other countries, but same continent: 4
- www.muug.mb.ca (CA)
- mirror.csclub.uwaterloo.ca (CA)
- mirror.its.dal.ca (CA)
- mirrors.ucr.ac.cr (CR)
Mirrors in other parts of the world: 16
- mirror.aarnet.edu.au (AU)
- mirror.dhakacom.com (BD)
- ftp.belnet.be (BE)
- mirrors.nju.edu.cn (CN)
- ftp.linux.cz (CZ)
- mirrors.nic.cz (CZ)
- ftp.uni-kl.de (DE)
- opensuse.mirror.iphh.net (DE)
- mirror.cedia.org.ec (EC)
- ftp.jaist.ac.jp (JP)
- mirror.ihost.md (MD)
- opensuse.hro.nl (NL)
- mirror.squ.edu.om (OM)
- ftp.pbone.net (PL)
- ftp.icm.edu.pl (PL)
- ftp.rnl.tecnico.ulisboa.pt (PT)