File information

  • Filename: coq-9.3.0-1.2.src.rpm
  • Path: /tumbleweed/repo/src-oss/src/coq-9.3.0-1.2.src.rpm
  • Size: 19MiB (19452863 bytes)
  • Last modified: 28-Sep-2026 12:48:14 (Unix timestamp: 1790599694)
  • SHA-512 Hash: 3446443960946d554a4cae20f4e3516db77ee9be375138af78e86d1fe87baca2a77c3c1397c5d5bdacc26afeac0718f4959901204c955f95c0ab32815803d841
  • SHA-256 Hash: bcad1d0fdd0a8b2ac9ac7491233de202f4b9145bd4866a12410a91d69eb247f8
  • SHA-1 Hash: cc903ab2110e1cab7bac06be84bb7fd0e68a9a0c
  • MD5 Hash: a61bcfb45b395158a9d26eaac798ea89
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://downloadcontent2.opensuse.org/source/tumbleweed/repo/oss/src/coq-9.3.0-1.2.src.rpm

Mirrors

List of best mirrors for IP address 216.73.216.136, located at 39.9587,-82.9987 in (US)

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