File information
- Filename: coq-8.19.1-bp156.66.87.src.rpm
- Path: /repositories/science/15.6/src/coq-8.19.1-bp156.66.87.src.rpm
- Size: 17MiB (17478988 bytes)
- Last modified: 13-Jun-2024 16:31:00 (Unix timestamp: 1718296260)
- SHA-512 Hash: 6d6723831caf1b584f80843ad6b1c7d1bbb4ce41dd4ac09241c437c1593059dffc2a63218144c9ac724123def6878e857f0e25546257ffbcc205e04c26be4422
- SHA-256 Hash: ed8e609e8d88d5a3c374db6321400792a5a5cfa3354ddb127b8d069d2344bca7
- SHA-1 Hash: e0a9f63f0b2ccd077f39111e78e19b5e27c61bd3
- MD5 Hash: 1fea8405df9bede418f900ea3e3e65c5
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/15.6/src/coq-8.19.1-bp156.66.87.src.rpm
Mirrors
List of best mirrors for IP address 172.70.131.194, 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: 3
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)
- opensuse.mirror.ac.za (ZA)