File information
- Filename: coq-8.20.1-1.5.src.rpm
- Path: /ports/armv6hl/source/factory/repo/oss/src/coq-8.20.1-1.5.src.rpm
- Size: 17MiB (17921601 bytes)
- Last modified: 12-Mar-2025 12:39:08 (Unix timestamp: 1741783148)
- SHA-512 Hash: 663f1507d5b200e19aaef9ff754367cb5ffda3af4f48a77b9656aba446dd5153d562d595729197d8d579a1d85f5da78ed00226881a0841abda61567a4795d28c
- SHA-256 Hash: 5efba95b94d6ef367c145dd76be169f830117666c13baa43b7deb9c9a6064f1b
- SHA-1 Hash: e3f77ff7224ec1ce7af32cf3644f9dbf219f6ff4
- MD5 Hash: 7b3d02b777d156961a4f05094b27b1c7
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://cdn.opensuse.org/ports/armv6hl/source/tumbleweed/repo/oss/src/coq-8.20.1-1.5.src.rpm
Mirrors
List of best mirrors for IP address 13.59.141.195, located at 39.9625,-83.0061 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: 4
- opensuse.c3sl.ufpr.br (BR)
- opensuse.c3sl.ufpr.br (BR)
- espejito.fder.edu.uy (UY)
- espejito.fder.edu.uy (UY)