File information
- Filename: coq-ide-debuginfo-8.20.0-70.102.x86_64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/x86_64/coq-ide-debuginfo-8.20.0-70.102.x86_64.rpm
- Size: 3.1MiB (3272769 bytes)
- Last modified: 25-Dec-2024 20:43:00 (Unix timestamp: 1735159380)
- SHA-512 Hash: 9920020c7b6e80c9892b6c308dd6532ee19208259d482b91fbefde3a579cda2cb60ab92d437b78058034be077b5846e2a470f634fed55edeeceb4d28fcb5d733
- SHA-256 Hash: fdf58e2225127aab20e36cfb15e2b10b99ce32d2d82e279e2f09fe7951e3837d
- SHA-1 Hash: ccf7f61ea05336c433d76cb0a71cbd78699aba5d
- MD5 Hash: 8de289d58c83fae65358c940e380f5f2
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://downloadcontent2.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/coq-ide-debuginfo-8.20.0-70.102.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.116.85.111, 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: 0
- None