File information
- Filename: coq-ide-debuginfo-8.20.1-bp156.72.36.x86_64.rpm
- Path: /repositories/science/15.6/x86_64/coq-ide-debuginfo-8.20.1-bp156.72.36.x86_64.rpm
- Size: 2.8MiB (2948808 bytes)
- Last modified: 19-Jun-2025 18:43:00 (Unix timestamp: 1750358580)
- SHA-512 Hash: f6d1f9640c95891611582193bf5b187eba21c254a9fdbf34d352cf9261b42f835382831389e1261c61be84fd160f13fab26b54860a704496c98f329aab519cbb
- SHA-256 Hash: c99734a4678da9fd207cd50047180cc02601714ff708a474739b570ae323c56c
- SHA-1 Hash: 1224c54593f4a348cd23841b5a36ea2370fa574f
- MD5 Hash: d28058d5de02e9ce6c1e38e2f90c2494
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/15.6/x86_64/coq-ide-debuginfo-8.20.1-bp156.72.36.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.219, 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: 0
Loading...