File information
- Filename: tree-sitter-agda-1.3.3-1.8.ppc64le.rpm
- Path: /repositories/editors:/tree-sitter/openSUSE_Factory/ppc64le/tree-sitter-agda-1.3.3-1.8.ppc64le.rpm
- Size: 171KiB (175146 bytes)
- Last modified: 06-Nov-2026 01:48:00 (Unix timestamp: 1793929680)
- SHA-512 Hash: 9d2d9a704dc1b5fbc2d1458b8cb3ea529165cca1c4b474acc22f206dcd7d8fb78f8dfb1018c751e54a24b2300c85ca1724380314233004cbb01350f635d324f3
- SHA-256 Hash: c56a841c1c2fc7f030e5b539a33a0a327d546279acc3df31e5dc6f69f1da379b
- SHA-1 Hash: a1270bac45629eb8d3b7567af8fc4b1d6641a2c9
- MD5 Hash: de099da885632e146ff55bd34d3fad3d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/editors:/tree-sitter/openSUSE_Factory/ppc64le/tree-sitter-agda-1.3.3-1.8.ppc64le.rpm
Mirrors
List of best mirrors for IP address 140.248.79.51, 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)