File information
- Filename: coq-debugsource-8.18.0-1.1.x86_64.rpm
- Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-debugsource-8.18.0-1.1.x86_64.rpm
- Size: 1.9MiB (2025740 bytes)
- Last modified: 07-Nov-2023 00:37:22 (Unix timestamp: 1699317442)
- SHA-512 Hash: 4ae79964eaf1076e3560f7fcaf2cb6c1cd58600fc12941ec76ec556f0d676c0d90186c73a20990b60d4458240e95145ca2d02da03cb093bf17afa50ed5c42d00
- SHA-256 Hash: bcf26ca15b9aa39d872955bf9417cc2a4857ba9bdc9bbf43dc4f8eca7b2d1262
- SHA-1 Hash: 720fef817c9760fc1c30e74a00395cde542dc27f
- MD5 Hash: ab01a5907f8c5a647869e0dca1d20b65
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-debugsource-8.18.0-1.1.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.215, 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