File information
- Filename: coq-debuginfo-8.20.0-70.65.aarch64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/aarch64/coq-debuginfo-8.20.0-70.65.aarch64.rpm
- Size: 11MiB (11993797 bytes)
- Last modified: 21-Nov-2024 01:29:13 (Unix timestamp: 1732152553)
- SHA-512 Hash: 7325c990876987b42adb0353ac250c3a8fe123f7853ba687d35901f9df6af27277e531af39c529f62782a2d91fef86dd218823e06cb64fd8a20965d74efaeec8
- SHA-256 Hash: d2475a7f5ddd67cfbe253b6221ba357230b9e810138f348f608d79977ee7d25e
- SHA-1 Hash: 7466da5fe745c5bd454a61e9b518b25e84cfeaab
- MD5 Hash: d5230f2524b46406b10831b71997f009
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/aarch64/coq-debuginfo-8.20.0-70.65.aarch64.rpm
Mirrors
List of best mirrors for IP address 140.248.79.27, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 0
Loading...