File information
- Filename: tree-sitter-agda-1.3.3-1.2.src.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/src/tree-sitter-agda-1.3.3-1.2.src.rpm
- Size: 677KiB (692800 bytes)
- Last modified: 20-Sep-2026 20:18:00 (Unix timestamp: 1789935480)
- SHA-512 Hash: d6d15eb5a164a4b596ad7e4b96d3fc77c5dca36129a0e0b71296899053dbe4230e3179c34214e1a2c1563870c0008c81666a27fa13a3bd57881f510c2944eb4d
- SHA-256 Hash: 01750b31c7dcd566f725b2fb2af22d8bea6999434279ac9a532921e93faadba3
- SHA-1 Hash: 2b55e7424ca554c4b1cec9b6535fc9bd4bf8d2ba
- MD5 Hash: c2cfb84c893f80655fa662428ea88aba
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/editors:/tree-sitter/openSUSE_Factory/src/tree-sitter-agda-1.3.3-1.2.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.136, 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)