File information
- Filename: coq-9.2.0-dlot.150600.82.6.src.rpm
- Path: /repositories/devel:/languages:/ocaml:/ct/SLE_15/src/coq-9.2.0-dlot.150600.82.6.src.rpm
- Size: 18MiB (18606258 bytes)
- Last modified: 03-Jul-2026 17:19:00 (Unix timestamp: 1783099140)
- SHA-512 Hash: 0cbd7e606fb799e6482b9ac0dfa7effd255c1c8474302260b7b0c05ef619906d70523a0aac2d86b39f93d9bd441a70391012c574280c7e013553ffa8679d573d
- SHA-256 Hash: 2f876e46f4a418cbdad85c21ebbaf6f77b7b2023e3b47d21ba88c04905333c63
- SHA-1 Hash: 6af610e460fdc1916c54065c20059a6b582f7dee
- MD5 Hash: d42a19aa4d77aa315f5caa9698a1d8be
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml:/ct/SLE_15/src/coq-9.2.0-dlot.150600.82.6.src.rpm
Mirrors
List of best mirrors for IP address 216.73.217.178, located at 39.9587,-82.9987 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
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)