File information
- Filename: coq-ide-debuginfo-8.19.1-bp156.1.1.armv7hl.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/step_debug/armv7hl/coq-ide-debuginfo-8.19.1-bp156.1.1.armv7hl.rpm
- Size: 2.7MiB (2805676 bytes)
- Last modified: 11-Mar-2024 13:14:06 (Unix timestamp: 1710162846)
- SHA-512 Hash: 943b67ec08b406125fd41814fbae12e81fac7d0b029a2f598b123791ddfdb128d674c52f9a55b6ed79e9ce235445eee5bb9bc848cf4d82316eaee9304e51b04a
- SHA-256 Hash: fa57aa5f02cad468b66ea4af2f276e12b80df1821d998c87a305715e2d214fa6
- SHA-1 Hash: 314369492ed21d20c238c259633bee3862ecc7fc
- MD5 Hash: 84cdc06d880e2629b5c5cbc1ed36ba82
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/step_debug/armv7hl/coq-ide-debuginfo-8.19.1-bp156.1.1.armv7hl.rpm
Mirrors
List of best mirrors for IP address 18.219.215.35, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None