File information
- Filename: coq-devel-8.18.0-1.1.x86_64.rpm
- Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-devel-8.18.0-1.1.x86_64.rpm
- Size: 76MiB (79394070 bytes)
- Last modified: 07-Nov-2023 00:37:24 (Unix timestamp: 1699317444)
- SHA-512 Hash: cfdffa52069da984f632b0931bdf3902ff862bc4374ec82862d8a19583e1f91698ffd3d3df6398ebff23ce27263c648b6895dc08567951b63693c593beeafd51
- SHA-256 Hash: 9575296fe4822a4aac5b94d1206d6e86ac7260e67f75a847310662fb9bf501cb
- SHA-1 Hash: 52e455ade2f053667866698babcf90dea39139d3
- MD5 Hash: eea39cd416c52d33fafeb392473ee4f4
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-devel-8.18.0-1.1.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.65, located at 37.751,-97.822 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
- None