File information

  • Filename: coq-8.20.1-1.3.src.rpm
  • Path: /ports/armv6hl/source/factory/repo/oss/src/coq-8.20.1-1.3.src.rpm
  • Size: 17MiB (17921610 bytes)
  • Last modified: 17-Feb-2025 02:21:00 (Unix timestamp: 1739758860)
  • SHA-512 Hash: ca9c79f0070c82c41b2610e4bab0a88631911fe420433f6ccdb66e5a179ac9bc194d112bfda5b5c61467ba177cd12848d192475842f7ef76bc02c4a84c4cc317
  • SHA-256 Hash: b373138d78c73c18a9fd9de8429f3796d947a2ff6d6b78faf7941472a10c93ce
  • SHA-1 Hash: 3b659d816aea1161dba913193a73ea144bc38855
  • MD5 Hash: 3e04ebe27ffc58f5139ae1abfcf75ac8
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/ports/armv6hl/source/tumbleweed/repo/oss/src/coq-8.20.1-1.3.src.rpm

Mirrors

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

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