File information
- Filename: coq-8.19.1-bp156.1.13.x86_64.rpm
- Path: /distribution/openSUSE-current/repo/oss/x86_64/coq-8.19.1-bp156.1.13.x86_64.rpm
- Size: 87MiB (91101452 bytes)
- Last modified: 13-May-2024 14:49:00 (Unix timestamp: 1715611740)
- SHA-512 Hash: be11ff636c7d13bbf846031a00fe12e8871de5e88196edc51f5f0c08a9d072427225194fbb9e8a1ab124286ba6ca9b54d6ba02cef68902f646da46fc2ac5dfbc
- SHA-256 Hash: b7784f4beb52956d2f99c476d1a4de198751c4be2a845341f7565f7d5eb6587d
- SHA-1 Hash: cfd120becf9eae86fc272b3b24b379472c0bb7ed
- MD5 Hash: 38d2253e9058d080537348878fd04c26
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/coq-8.19.1-bp156.1.13.x86_64.rpm
Mirrors
List of best mirrors for IP address 13.59.136.71, 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: 2
- mirror.leitecastro.com (PT)
- mirror.leitecastro.com (PT)