File information
- Filename: tree-sitter-agda-devel-1.3.3-1.8.noarch.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/noarch/tree-sitter-agda-devel-1.3.3-1.8.noarch.rpm
- Size: 12KiB (12758 bytes)
- Last modified: 06-Nov-2026 01:48:00 (Unix timestamp: 1793929680)
- SHA-512 Hash: 2c3a182e55732ff65d51c2f919384082c11b2b65c42e349ffc0fd029eaa6b9533565ee75ebda18fdfd058cc390f2e7f9d03558539dda8dd1c6fe64d94144efc6
- SHA-256 Hash: 315f1dfd2f5ae034d2e8ea206a70206ba15c5d82524498a4ba82e3411ba0b4b8
- SHA-1 Hash: 11f60f7af1c2c466e975e543285d43de18b17cdd
- MD5 Hash: 13fc19bcd2e2052348a2bb4a3a6747ab
- 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.8.noarch.rpm
Mirrors
List of best mirrors for IP address 140.248.79.118, 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)