File information
- Filename: coq-doc-8.19.1-1.2.noarch.rpm
- Path: /ports/aarch64/tumbleweed/repo/oss/noarch/coq-doc-8.19.1-1.2.noarch.rpm
- Size: 5.8MiB (6031939 bytes)
- Last modified: 18-Mar-2024 04:24:00 (Unix timestamp: 1710735840)
- SHA-512 Hash: 5fa0457869195c166cb8088be957efeaa7dd4df4e5004c31b3a12b76a7e3b1c84f544b557aef9d6d129e2738b4e00021fcf66e83e6340fa6345b3f2feef2e0b2
- SHA-256 Hash: af5299c9372ad1e7dc44b12fcfa992cba712cd3a6f2b74ad60763718aced16ae
- SHA-1 Hash: 029cfccd90b52049d7ac44c8e2bf2a46a19518b2
- MD5 Hash: 944729875bf65a2b5c27f05c029a0eb6
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/ports/aarch64/tumbleweed/repo/oss/noarch/coq-doc-8.19.1-1.2.noarch.rpm
Mirrors
List of best mirrors for IP address 18.222.83.185, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 2
- provo-mirror.opensuse.org (US)
- mirror.fcix.net (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 9
- opensuse.c3sl.ufpr.br (BR)
- mirrors.cqu.edu.cn (CN)
- mirrors.bfsu.edu.cn (CN)
- mirrors.tuna.tsinghua.edu.cn (CN)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.opensuse.mu (MU)
- ftp.lysator.liu.se (SE)