File information
- Filename: tree-sitter-agda-queries-1.3.3-1.7.noarch.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/noarch/tree-sitter-agda-queries-1.3.3-1.7.noarch.rpm
- Size: 8.1KiB (8306 bytes)
- Last modified: 28-Oct-2026 05:05:00 (Unix timestamp: 1793163900)
- SHA-512 Hash: 5520d34c2d05a01fd723497a43175074e5627ee972ce94e0eba703e760306801d42f82e07ed63e9e13217e41d2615ed2a16eb5e4b0c5cc39779679d07d501ec0
- SHA-256 Hash: 46781323d3f6002314e2e78c1cc1c3448510e10add97ea71173b960b7e15eb91
- SHA-1 Hash: fc79f7a7c29ca8130e8a73906bd8c5c8f8c781aa
- MD5 Hash: 255e3e13e49b9f2f4bad854c639835b7
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/editors:/tree-sitter/openSUSE_Factory/noarch/tree-sitter-agda-queries-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)