File information
- Filename: coq-devel-8.19.1-bp156.1.13.x86_64.rpm
- Path: /distribution/openSUSE-stable/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.13.x86_64.rpm
- Size: 66MiB (69666696 bytes)
- Last modified: 13-May-2024 14:49:00 (Unix timestamp: 1715611740)
- SHA-512 Hash: a93113a222cbdb167402eb8f3d118d8f2d007e003936cc2fa3a7ea0c737bf8f1d793f7589924117d3f4cc321e5c0e24b866d4f99bfa717737c4c63cedad4403d
- SHA-256 Hash: 98409cf70eaaa8c9caa2b3a2c96e5e3eb7b38dea8cf20a3d66effad8c5cdf6ea
- SHA-1 Hash: b4a2d5704817b19aea15d9a4adb469cf07248fc6
- MD5 Hash: 466ce2042932c2deae1e60b5115602dd
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.13.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.216.69.124, 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: 2
- mirror.leitecastro.com (PT)
- mirror.leitecastro.com (PT)