File information
- Filename: coq-doc-8.19.1-bp156.1.1.noarch.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/step/noarch/coq-doc-8.19.1-bp156.1.1.noarch.rpm
- Size: 6.3MiB (6650084 bytes)
- Last modified: 11-Mar-2024 13:14:05 (Unix timestamp: 1710162845)
- SHA-512 Hash: 9a8d89322a226a63a62f68edd9b790a90a2f0e765be13ba91a047e152b0e0814dac9b85a886fd6324714b1e8cfa7be6b541510c04d1c7158d98c5eda09d25e27
- SHA-256 Hash: 3950c3ac3a7a4b212c9a83b7b4a42f13c4851413be0ce55820a393f90be97fa1
- SHA-1 Hash: 86b4c01057862e700af2827e6296695707efa020
- MD5 Hash: 7dafbef4a057d5b3f21b9911b33d733d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/step/noarch/coq-doc-8.19.1-bp156.1.1.noarch.rpm
Mirrors
List of best mirrors for IP address 3.15.185.178, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 5
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.tspu.ru (RU)
- ftp.lysator.liu.se (SE)