File information
- Filename: coq-8.19.1-1.3.x86_64.rpm
- Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240605/x86_64/coq-8.19.1-1.3.x86_64.rpm
- Size: 102MiB (107039591 bytes)
- Last modified: 29-Mar-2024 20:52:24 (Unix timestamp: 1711745544)
- SHA-512 Hash: d91bd0f215d2f45da4429ab760b1980361750e9f379c9db26f63d26969fe4cd4d3a288211b88f2d928410ee9879f56f5837aa174d0bb239284e22f1236617d50
- SHA-256 Hash: 06b1cd83da17efda2b54fdc94b33d8a356fdd7d8d5b0019ded44ec481c924579
- SHA-1 Hash: 4c72617c31a4cfe56e1b23ecd483c1d39ce48c98
- MD5 Hash: c2fce6d7b4b2b8e6eb4b1bd752fd8644
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240605/repo/oss/x86_64/coq-8.19.1-1.3.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.116.200.95, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 11
- ftp.gwdg.de (DE)
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- mirror.aardsoft.fi (FI)
- repo.opensuse.id (ID)
- repo.opensuse.id (ID)
- twrepo.opensuse.id (ID)
- opensuse.mirror.liquidtelecom.com (KE)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.tspu.ru (RU)
- mirror.tspu.ru (RU)