File information
- Filename: coq-8.19.1-bp156.1.13.ppc64le.rpm
- Path: /distribution/openSUSE-current/repo/oss/ppc64le/coq-8.19.1-bp156.1.13.ppc64le.rpm
- Size: 87MiB (91497456 bytes)
- Last modified: 13-May-2024 14:34:21 (Unix timestamp: 1715610861)
- SHA-512 Hash: f6fa22ac1cd277d6111a9b14e4d17e338d8ee5eaf3234a0e56fefa8b345a60d949680a1b5ef5ab526768142ee44511dc1d83e009fcdad0858bd22632b4ca15ed
- SHA-256 Hash: 6dad0a46a23608745c64afa98039d2cb69af68711554f9f90147902d932da919
- SHA-1 Hash: 09c01e01a46e647f2c35f4177c38a74124b0961a
- MD5 Hash: 99e86ba8d4f5228ce97b26c341ab843a
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/distribution/leap/15.6/repo/oss/ppc64le/coq-8.19.1-bp156.1.13.ppc64le.rpm
Mirrors
List of best mirrors for IP address 172.70.179.153, located at 41.8874,-87.6318 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)