File information
- Filename: Agda-2.5.2-bp150.1.3.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15/standard/src/Agda-2.5.2-bp150.1.3.src.rpm
- Size: 1.2MiB (1247473 bytes)
- Last modified: 31-Jul-2018 00:22:00 (Unix timestamp: 1532996520)
- SHA-512 Hash: 3aa0f4339be9e9784864f31c84ab94694cea2a185e219eac757be86c2cff6bb42162c9eadc8c074e71100d5078f3a38dd85e62a35fb37d3b5f13bb46cb5540ee
- SHA-256 Hash: a1e253aee7b6b302e601b4a0690fc97fe72b96fb877fc4d48e204593bc1c76f4
- SHA-1 Hash: 981cf2290041f800a32e8d3088bb576a01288669
- MD5 Hash: 1f2e339200772d5f9a79b21e6f3aedbe
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15/standard/src/Agda-2.5.2-bp150.1.3.src.rpm
Mirrors
List of best mirrors for IP address 172.68.168.187, 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)
- mirror.yandex.ru (RU)