File information
- Filename: coq-devel-8.19.1-bp156.1.10.x86_64.rpm
- Path: /distribution/openSUSE-stable/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.10.x86_64.rpm
- Size: 66MiB (69655652 bytes)
- Last modified: 29-Apr-2024 13:31:44 (Unix timestamp: 1714397504)
- SHA-512 Hash: 7dab22197c81a5e2ae41e61feb4d725dfd23c45985893162a7495a1196af8deca7f7874a06f4f0b89d2131cc1eefaeaf48952d19b7a2241f13460c24ab285d72
- SHA-256 Hash: 693595376e0c038b1c05e394e241d7415cd57960195a22f35f1b8e9bca1c5123
- SHA-1 Hash: 0220425bd033c349cb60f95cbc41b3db3bf542bd
- MD5 Hash: bb35d2ac1cd5b113b0535554182c3f56
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.10.x86_64.rpm
Mirrors
List of best mirrors for IP address 108.162.216.219, located at 41.8835,-87.6305 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: 1
- repo.ugm.ac.id (ID)