File information
- Filename: coq-9.3.0-dlot.150700.88.15.src.rpm
- Path: /repositories/devel:/languages:/ocaml:/ct/SLE_15a/src/coq-9.3.0-dlot.150700.88.15.src.rpm
- Size: 19MiB (19405320 bytes)
- Last modified: 03-Nov-2026 13:53:00 (Unix timestamp: 1793713980)
- SHA-512 Hash: ac466d6ab784a3ca3b0458d9367943fbe4ecb924f9e83083b5087ca019e73cc1c4f40936d66b282ddf7bff65cd51b2bd37ce12bbd3ba8d342f06d299ba996477
- SHA-256 Hash: 2d43bc50482d1a1b462f691e082e3d2891e7e53330a03f4e624e91386e1a8b91
- SHA-1 Hash: f13b39b371193a7d6d619d8599a4b7d9eb2f4dee
- MD5 Hash: 94fe16de5ba8cf5a6f284bc21065c516
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml:/ct/SLE_15a/src/coq-9.3.0-dlot.150700.88.15.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.188, 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)