File information
- Filename: coq-debuginfo-8.20.1-1.3.riscv64.rpm
- Path: /repositories/openSUSE:/Factory:/RISCV/standard/riscv64/coq-debuginfo-8.20.1-1.3.riscv64.rpm
- Size: 10MiB (10711762 bytes)
- Last modified: 04-Mar-2025 22:44:00 (Unix timestamp: 1741128240)
- SHA-512 Hash: 71ad0008650f9da257a3046c501d8a7f9a99e34995057de63c07898e78f4ef2b7ea118626b74e6597ea70c3d49da44243b523330a78dc68bf9ddf4eae6840fde
- SHA-256 Hash: ebebb921b8118781fc9b3fcd1197c3f7a75a4b6b9e076ae5dcb39c97436fc3e8
- SHA-1 Hash: 22c39ab058eac63a0226a0e8d46f80f3e43557f8
- MD5 Hash: 834b34e958d9d317651189f3d3760e07
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Factory:/RISCV/standard/riscv64/coq-debuginfo-8.20.1-1.3.riscv64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.21, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None