File information
- Filename: coq-8.19.1-1.2.src.rpm
- Path: /ports/armv7hl/source/tumbleweed/repo/oss/src/coq-8.19.1-1.2.src.rpm
- Size: 17MiB (17519131 bytes)
- Last modified: 18-Mar-2024 04:27:00 (Unix timestamp: 1710736020)
- SHA-512 Hash: 401908ec7ab2c0df23dd840f5f4a227242411411de6abe246ab84fcaf9fdba6d79f72db638f5cf46f51744d9cc22ea33e06f886c719106b2da2f4a2a870f5e4c
- SHA-256 Hash: 96650c05349aff43dd6d927364e6919f2a78a64f266b2854a18d63742c4b352c
- SHA-1 Hash: ef06f200419ae31ae6523c5eb14fd794c10f95a9
- MD5 Hash: 1ba8b97b5d0ed687e1eb2d5ba8726e54
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/ports/armv7hl/source/tumbleweed/repo/oss/src/coq-8.19.1-1.2.src.rpm
Mirrors
List of best mirrors for IP address 3.145.15.1, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 2
- 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