File information
- Filename: coq-doc-8.19.1-bp156.1.13.noarch.rpm
- Path: /distribution/openSUSE-stable/repo/oss/noarch/coq-doc-8.19.1-bp156.1.13.noarch.rpm
- Size: 6.3MiB (6649796 bytes)
- Last modified: 13-May-2024 14:49:19 (Unix timestamp: 1715611759)
- SHA-512 Hash: 3e2069caf56327d1e7788ade50c6867a2cc045be24298880e809c26e4b55c195f4ff581a78b0ee566758142d48cc59aa898b40d117541e3fae0021ec30ae4086
- SHA-256 Hash: 3e0d89f1180f461c86e09e6ebcc864e43b2c66f82dbcd355f3499c616e06dbbb
- SHA-1 Hash: 91b6f307317952d058609be09b2d0a53225c679f
- MD5 Hash: c48f2147cbd43b5e88bb3cc2564e971b
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/noarch/coq-doc-8.19.1-bp156.1.13.noarch.rpm
Mirrors
List of best mirrors for IP address 140.248.79.75, 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)