File information
- Filename: coq-debuginfo-8.20.1-1.5.armv6hl.rpm
- Path: /ports/aarch64/debug/tumbleweed/repo/oss/armv6hl/coq-debuginfo-8.20.1-1.5.armv6hl.rpm
- Size: 9.9MiB (10376599 bytes)
- Last modified: 12-Mar-2025 12:39:00 (Unix timestamp: 1741783140)
- SHA-512 Hash: 366e335d63673d59cef27d42df5c8e81c8871b9328c8c5c71c56be00f60113898d20789017f13a23c0da009c0eed5662807a8258fcbe173bcd58884c386976e5
- SHA-256 Hash: aae30723316aa1c8241654e9dd998b9dcefad89ac40c5b041ec2ba668912a9de
- SHA-1 Hash: 4ffe2c9dd979c6afc448d51148b13b4aef828d19
- MD5 Hash: ec2f8f721663c90f9402a6c5faf50884
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/ports/aarch64/debug/tumbleweed/repo/oss/armv6hl/coq-debuginfo-8.20.1-1.5.armv6hl.rpm
Mirrors
List of best mirrors for IP address 216.73.216.50, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 4
- ftp.ussg.iu.edu (US)
- mirrors.rit.edu (US)
- mirror.math.princeton.edu (US)
- slc-mirror.opensuse.org (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 9
- mirrors.nju.edu.cn (CN)
- opensuse.nic.cz (CZ)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- mr.heru.id (ID)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.leitecastro.com (PT)
- opensuse.ip-connect.info (UA)
- espejito.fder.edu.uy (UY)