File information
- Filename: coq-doc-8.20.1-72.223.noarch.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/noarch/coq-doc-8.20.1-72.223.noarch.rpm
- Size: 5.8MiB (6047446 bytes)
- Last modified: 11-Nov-2025 21:15:00 (Unix timestamp: 1762895700)
- SHA-512 Hash: fc9c75864cb772ead24ee8b653677e629736015724e58f0c64aaa1c87d2ea520613e8f9d1cbfae1e7f8c0fc3005281d95527f047b4a677ae8bd4d60985543511
- SHA-256 Hash: 1f6d332ee9551049f6a27cd033c110036530d618d4fd8c6acf021a43e5c5b961
- SHA-1 Hash: c71dca286669563853e27a65af2c4a0dd3b253c2
- MD5 Hash: 69e42d70198339366cab00ae39c6084a
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/noarch/coq-doc-8.20.1-72.223.noarch.rpm
Mirrors
List of best mirrors for IP address 216.73.216.27, 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: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- ftp.lysator.liu.se (SE)