File information
- Filename: coq-devel-8.19.1-1.3.ppc64le.rpm
- Path: /ports/ppc/factory/repo/oss/ppc64le/coq-devel-8.19.1-1.3.ppc64le.rpm
- Size: 78MiB (81524497 bytes)
- Last modified: 30-Mar-2024 10:45:53 (Unix timestamp: 1711795553)
- SHA-512 Hash: 2e2043fc0612336d46087b6a4a52fa50b49ac2cea59c0c696df1e88d2e50b135b598c625ba7cd74d97b7dcc84809d7a98f420a11f992e42ccd85c8a277a6c176
- SHA-256 Hash: 37a8223221376072293e7eea013d8d9c82ec386f0fda31eba1ca3f3f8d462c75
- SHA-1 Hash: 0feb034efb789f2ef0abe7b61eed90fd0ad5901b
- MD5 Hash: 537fceb9365d51fa779ef305585ddc4d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/ports/ppc/tumbleweed/repo/oss/ppc64le/coq-devel-8.19.1-1.3.ppc64le.rpm
Mirrors
List of best mirrors for IP address 18.191.189.129, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 4
- provo-mirror.opensuse.org (US)
- mirror.fcix.net (US)
- provo-mirror.opensuse.org (US)
- mirror.fcix.net (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 0
- None