File information

  • Filename: coq-ide-8.20.0-1.1.ppc64le.rpm
  • Path: /ports/ppc/factory/repo/oss/ppc64le/coq-ide-8.20.0-1.1.ppc64le.rpm
  • Size: 23MiB (24160570 bytes)
  • Last modified: 09-Sep-2024 13:13:00 (Unix timestamp: 1725887580)
  • SHA-512 Hash: 40fc952ea56185a8592264a5bea3a34abdc310554db87e3308054240c34bbef70d45b09e6d07436e6249b0fd1ca566095f92432a49ee1cc87e39362f8911309c
  • SHA-256 Hash: 04fe66783cd52f511f880c98bff94e79f1191ccd37c5c46cd3450494d35eaa22
  • SHA-1 Hash: df0bc2033d4a3b4dc22346fcdc26f533a126defa
  • MD5 Hash: b750826a13468f3ffe6b23b69d2fde75
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/ppc/tumbleweed/repo/oss/ppc64le/coq-ide-8.20.0-1.1.ppc64le.rpm

Mirrors

List of best mirrors for IP address 18.224.44.131, located at 39.9625,-83.0061 in (US)

Mirrors which handle this country: 6
Mirrors in other countries, but same continent: 0
Mirrors in other parts of the world: 12