File information
- Filename: coq-9.2.0-82.35.src.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/src/coq-9.2.0-82.35.src.rpm
- Size: 18MiB (18652119 bytes)
- Last modified: 08-May-2026 18:04:53 (Unix timestamp: 1778263493)
- SHA-512 Hash: e5228c9925b0069d6836eb864cb322cded277af8365f0d8f70433346e3ea80a40a62ab9bb6e889b84a4caa1d32b98dc0789570ea8cbe91fdfb3d0a3e946a2abd
- SHA-256 Hash: 88a5f5b6a5a3a8e25e5e67c918b388acea28f11c53edff04eca52ee513e5fee9
- SHA-1 Hash: bf242f735e6d28320c6e61cf37742fb23459ec85
- MD5 Hash: f601f4db2831480ebb8071150145ee08
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-9.2.0-82.35.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.65, located at 37.751,-97.822 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: 0
- None