File information
- Filename: coq-8.19.1-bp157.1.129.ppc64le.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard/ppc64le/coq-8.19.1-bp157.1.129.ppc64le.rpm
- Size: 87MiB (91519796 bytes)
- Last modified: 06-May-2025 17:45:31 (Unix timestamp: 1746553531)
- SHA-512 Hash: 078e932e330a78e411cfba52999d06cd8613cab99a6af3084012fadae811d792e72ef70d7a5f99add99ff76d2d1c81b4dfe56035dc5c0654c7e2cc1e4561ed6b
- SHA-256 Hash: de904329edb8ed6d89e144093c4fa4e323f7f7bc70d1f9e98636cf9661c9c66b
- SHA-1 Hash: 6eeb9b2b7c7f19e04f0b9970921acecc0d8ba83d
- MD5 Hash: 5b0be100c0ce62f48042f20c1bf1460f
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/ppc64le/coq-8.19.1-bp157.1.129.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.15, 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