File information
- Filename: tree-sitter-agda-devel-1.3.3-1.7.noarch.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/noarch/tree-sitter-agda-devel-1.3.3-1.7.noarch.rpm
- Size: 12KiB (12758 bytes)
- Last modified: 28-Oct-2026 05:05:00 (Unix timestamp: 1793163900)
- SHA-512 Hash: 7aa6dcfe28fe0705b3d84f6cb50337ba85247778aa3e7c6f05e2976f47ca5fae9c69eaa2ce3a328d7631330b042790d353400e2ea591ebc6cf9a2a49a6296848
- SHA-256 Hash: d5f3181c34dc7ec5700610fe16ab4131d3a1235187299f4a83b6d3825832be2f
- SHA-1 Hash: a06cb3a177bbb0ed87899bfe1ac0dd12d709e4de
- MD5 Hash: ffa8702d21d65f2f9c6c5da83c62a9e3
- 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.7.noarch.rpm
Mirrors
List of best mirrors for IP address 216.73.216.215, 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: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)