File information
- Filename: tree-sitter-agda-1.3.3-1.8.src.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/src/tree-sitter-agda-1.3.3-1.8.src.rpm
- Size: 677KiB (693211 bytes)
- Last modified: 06-Nov-2026 01:48:00 (Unix timestamp: 1793929680)
- SHA-512 Hash: 74f3eff5e15cff1bf621e93bca4093d18df575fdff2372b740a9a58efe162363eb34d9f33d2e464a455d485692f4f034531a1770010cab7b1daa1ee2075c22e8
- SHA-256 Hash: e6d9a60786b66b3c40693e523bc15388dfc9e5924d295bb9986e75ed60a11285
- SHA-1 Hash: 684330081c91923b9c77ac7e55f34e24bc5dabe8
- MD5 Hash: 8acf9622a8b30a9c3c5118804edb5e59
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/editors:/tree-sitter/openSUSE_Factory/src/tree-sitter-agda-1.3.3-1.8.src.rpm
Mirrors
List of best mirrors for IP address 140.248.79.56, located at 39.9587,-82.9987 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
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)