File information
- Filename: tree-sitter-agda-1.3.3-1.8.aarch64.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/aarch64/tree-sitter-agda-1.3.3-1.8.aarch64.rpm
- Size: 169KiB (173158 bytes)
- Last modified: 06-Nov-2026 07:22:44 (Unix timestamp: 1793949764)
- SHA-512 Hash: d38d593aa53f4fdae7be8c63da2a5837b927a04c61c3320e728a6e12773d81f13be3af3f8de6b63e87fc6a70ec764bfa3e908bbde56c0c8ec89b3c10837029e3
- SHA-256 Hash: 83358ea7a4d6cb693aa7d9bb888e9440ddadbcd711f3aee77730b01792cd53aa
- SHA-1 Hash: 9f8dfab5aab7bcfec7e3240a6ee5875077507d0e
- MD5 Hash: a3a24f67ea4619b4322ac47d7a268a58
- 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.8.aarch64.rpm
Mirrors
List of best mirrors for IP address 140.248.79.21, 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: 2
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)