File information
- Filename: tree-sitter-agda-1.3.3-1.7.aarch64.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/aarch64/tree-sitter-agda-1.3.3-1.7.aarch64.rpm
- Size: 169KiB (173158 bytes)
- Last modified: 28-Oct-2026 05:23:00 (Unix timestamp: 1793164980)
- SHA-512 Hash: d8579c67aee4a4355b47441d7b36c15f1268150b3dcf24d80d4a63a5829f53704aab0d5a24ac6f2fb38d240ec539e472ddaaa138ffec0cf84fe4da43a8840ccc
- SHA-256 Hash: 01860a2afab9e0bdf72f15c4e47b264f45e4b23a7ecba332ce232058c702f16d
- SHA-1 Hash: 110462323aec92aa7ab33b33e30f5ccc6f67887f
- MD5 Hash: c179e057696e1cd535d34dd1db8cf001
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/editors:/tree-sitter/openSUSE_Factory/aarch64/tree-sitter-agda-1.3.3-1.7.aarch64.rpm
Mirrors
List of best mirrors for IP address 216.73.217.131, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)