File information
- Filename: coq-debuginfo-8.20.0-70.65.x86_64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/x86_64/coq-debuginfo-8.20.0-70.65.x86_64.rpm
- Size: 12MiB (12244353 bytes)
- Last modified: 21-Nov-2024 01:12:00 (Unix timestamp: 1732151520)
- SHA-512 Hash: 244ac434da030b0f1b224e59e51b49837e69196cb9209be7360779a64d8acbea3b66a2bd2a03d7fd203fa9b016927170ea709367c2326a7ee482220c718c1b3e
- SHA-256 Hash: 85919f9f71dde5a8dbc9fdd576b857e176d9e6746d19f45d2208233a1079b9b9
- SHA-1 Hash: 1a3eaaf8619b621d89f384cf75de808081164978
- MD5 Hash: 5be344a8659ff80235885c6fb01f3814
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/coq-debuginfo-8.20.0-70.65.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.117.75.218, 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...