File information
- Filename: tree-sitter-agda-queries-1.3.3-1.8.noarch.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/noarch/tree-sitter-agda-queries-1.3.3-1.8.noarch.rpm
- Size: 8.1KiB (8306 bytes)
- Last modified: 06-Nov-2026 01:48:00 (Unix timestamp: 1793929680)
- SHA-512 Hash: 0e82ceb4af45dbf2792546cb0bb29f2123298f10d9c45d24b41c7b632b8cf8bb16a802a4a7de6c133c78066956728c2277a32cd918883bd87ff63411eda2435f
- SHA-256 Hash: 34cd70ba4649fa744743855fd47c98462e35c0fbea7ede8f68d60f0babe21009
- SHA-1 Hash: b4a2b8a8d324d5137f76c61c19eb136172ac80b6
- MD5 Hash: 221c31c44b15871adad29b85854180e6
- 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.8.noarch.rpm
Mirrors
List of best mirrors for IP address 140.248.79.67, 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)