File information
- Filename: coq-ide-8.19.1-bp156.1.13.x86_64.rpm
- Path: /distribution/openSUSE-stable/repo/oss/x86_64/coq-ide-8.19.1-bp156.1.13.x86_64.rpm
- Size: 19MiB (20220324 bytes)
- Last modified: 13-May-2024 14:49:00 (Unix timestamp: 1715611740)
- SHA-512 Hash: e3ecb8e135e05980171e3da95b50797d3846c673d3273ce28a0ef103074bc86a4669e7a7de86baa3d5960065ab98b5136bac97674efbcda375f6696c0d306ecf
- SHA-256 Hash: c45b8f0e05e3b2381b5f7117b1f93d0a45543bacb0dbbd5fdf2afcb42324c6e2
- SHA-1 Hash: 1df7474d5ec4b8ffd329c8e244a3d38105fd4fb3
- MD5 Hash: f3884e005783235e9bb256843d0e296a
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/x86_64/coq-ide-8.19.1-bp156.1.13.x86_64.rpm
Mirrors
List of best mirrors for IP address 3.23.101.44, located at 39.9625,-83.0061 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: 2
- mirror.leitecastro.com (PT)
- mirror.leitecastro.com (PT)