File information
- Filename: tree-sitter-agda-devel-1.3.3-1.2.noarch.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/noarch/tree-sitter-agda-devel-1.3.3-1.2.noarch.rpm
- Size: 12KiB (12614 bytes)
- Last modified: 19-Sep-2026 17:14:00 (Unix timestamp: 1789838040)
- SHA-512 Hash: 8f55c3c0f67d3c88f0febbc3df7e5fde37c597f154c75fa286859a59cdf773c66a4621b9201d7bb3840d3abf66d5e6dc4d4140cb0763fff3548d2bac7533d198
- SHA-256 Hash: f6ed4b3f7de6000e5c957456e3b8167b9ff9b93e125bb9c9da43d9fc60c96604
- SHA-1 Hash: 0d8ff7131e5ae120079287d105380986314d0dd5
- MD5 Hash: 29852a6c9a8962f670abb58addc0bc74
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/editors:/tree-sitter/openSUSE_Factory/noarch/tree-sitter-agda-devel-1.3.3-1.2.noarch.rpm
Mirrors
List of best mirrors for IP address 216.73.216.33, 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)