File information
- Filename: coq-8.20.0-1.1.src.rpm
- Path: /source/tumbleweed/repo/oss/src/coq-8.20.0-1.1.src.rpm
- Size: 17MiB (17914740 bytes)
- Last modified: 09-Sep-2024 13:00:00 (Unix timestamp: 1725886800)
- SHA-512 Hash: 09383a600796d7a9402a4d39461ddf4a8ba53c3990cd527ae83c94f73c3e146342ff447bc03ca7515aa27f4bf8d562d0724a2d83e1021550be8e112395d1f058
- SHA-256 Hash: 4e86eb23a4ce870e13054cc3b65a8f2d9895a77e638608c6818e2ee9dceab7c9
- SHA-1 Hash: c361af9aa69d495cb275951ba1c1639c554bfce5
- MD5 Hash: ccf9a252a15ca3ce7bee5c1b9be964fe
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/source/tumbleweed/repo/oss/src/coq-8.20.0-1.1.src.rpm
Mirrors
List of best mirrors for IP address 172.70.82.34, located at 43.6655,-79.4204 in (CA)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 1
- mirror.fcix.net (US)
Mirrors in other parts of the world: 8
- opensuse.c3sl.ufpr.br (BR)
- ftp.gwdg.de (DE)
- ftp.halifax.rwth-aachen.de (DE)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- ftp.icm.edu.pl (PL)
- mirror.linux-ia64.org (RU)
- ftp.lysator.liu.se (SE)