File information
- Filename: coq-ide-8.13.2-bp155.2.5.x86_64.rpm
- Path: /repositories/openSUSE:/Leap:/15.5:/ToTest/images/repo/openSUSE-Leap-15.5-x86_64-aarch64-ppc64le-s390x-Media1/x86_64/coq-ide-8.13.2-bp155.2.5.x86_64.rpm
- Size: 5.4MiB (5622344 bytes)
- Last modified: 07-Aug-2022 05:27:35 (Unix timestamp: 1659850055)
- SHA-512 Hash: 0ac614085bd77325efd2f0e97cb6b62489c456a86dd40cf2e1fd8e33e671ebe8a7853946d2f997ffad40caaba3f5650df3e66571921a55c32d8494d13bdb0d0b
- SHA-256 Hash: 088404543305e7ed7a4cb763d306532946891b89dd8c8ffd6a68c2ff03c36888
- SHA-1 Hash: c32fa294f5731f02f7e6879c76c4cc6ac119202f
- MD5 Hash: a0e9448b0c9ddcbfd21bdb31144d7e27
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Leap:/15.5:/ToTest/images/repo/openSUSE-Leap-15.5-x86_64-aarch64-ppc64le-s390x-Media1/x86_64/coq-ide-8.13.2-bp155.2.5.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.191.72.87, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 0
- None