File information
- Filename: coq-ide-debuginfo-8.13.2-bp154.1.44.s390x.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-ide-debuginfo-8.13.2-bp154.1.44.s390x.rpm
- Size: 1.6MiB (1651964 bytes)
- Last modified: 12-May-2022 07:57:00 (Unix timestamp: 1652342220)
- SHA-512 Hash: d6d503f431ee0d9378e08ee66ed327aa549facd8cb333f0902e0336fcdd547ed727da742002611c304008fc3ee345bedb765e377befad90b533219ce7c37db89
- SHA-256 Hash: 1287153443714bde386404f77950d140a1124b2fe9dd3e34f01e039f7c729f76
- SHA-1 Hash: 6b5f660d5d46d9cbfdc9a1d26cf3056597bf99b7
- MD5 Hash: 1d84c48deebf91306a275ab1aca12ca4
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard_debug/s390x/coq-ide-debuginfo-8.13.2-bp154.1.44.s390x.rpm
Mirrors
List of best mirrors for IP address 3.133.148.76, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None