File information
- Filename: coq-debuginfo-8.20.1-lp160.72.34.x86_64.rpm
- Path: /repositories/science/openSUSE_Leap_16.0/x86_64/coq-debuginfo-8.20.1-lp160.72.34.x86_64.rpm
- Size: 11MiB (11795054 bytes)
- Last modified: 18-Jun-2025 11:25:00 (Unix timestamp: 1750245900)
- SHA-512 Hash: b2ab7207ae9b258bac32fddd98b9ed89c4715cda2319727a9464e73f5c44ddc2e5963fc89c89bf08bd829587eedad6236d0b8a791e6a5276bf3a10cd55ccf769
- SHA-256 Hash: f4df1df1ab9b42070157d39b2aee4307f0c1acb843c5716c199c6c5b4844056a
- SHA-1 Hash: d92fc328481b965c50c0117e8ced233800cc98ec
- MD5 Hash: 5e5aa1b6ae2e4bc28aa33c0b823c576c
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/x86_64/coq-debuginfo-8.20.1-lp160.72.34.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.217.145, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None