File information
- Filename: coq-doc-8.19.1-bp156.1.10.noarch.rpm
- Path: /distribution/openSUSE-stable/repo/oss/noarch/coq-doc-8.19.1-bp156.1.10.noarch.rpm
- Size: 6.3MiB (6649836 bytes)
- Last modified: 29-Apr-2024 13:31:44 (Unix timestamp: 1714397504)
- SHA-512 Hash: 7cb6c90e55168ddaecb499f94421a63ce26b009f193e06bb82201fa69ee0e5de108a2bb7d8950d1ed9a6e94441828373898622902dd32e8673fbb2c80227eea1
- SHA-256 Hash: d7ac5210e38f2bdaac45e23c983281f5a94386c0001e4b4f0f2f510daec11bb4
- SHA-1 Hash: 4f70ad462a8c0301dcc8ae02d279afaf36cee10f
- MD5 Hash: 7aa8a3182220b0b1466a282cb6d4656a
- 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.10.noarch.rpm
Mirrors
List of best mirrors for IP address 140.248.79.114, 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: 1
- repo.ugm.ac.id (ID)