1. ^
2. repositories
3. editors:
4. tree-sitter
5. openSUSE_Factory
6. src
7. tree-sitter-agda-1.3.3-1.7.src.rpm

File information

• Filename: tree-sitter-agda-1.3.3-1.7.src.rpm
• Path: /repositories/editors:/tree-sitter/openSUSE_Factory/src/tree-sitter-agda-1.3.3-1.7.src.rpm
• Size: 677KiB (693210 bytes)
• Last modified: 28-Oct-2026 05:05:00 (Unix timestamp: 1793163900)
• SHA-512 Hash: 34b1f5f62966d96e6b7503d7d01d268d24188bf6626eb43881bc226759794301d106a406651c57c1febaabcf6a4eddbeb6ca51eb82148bd6191be1b99b3ccb6d
• SHA-256 Hash: 235e53e22ab70ef3a31e04b5fbebcb2e7e45a98666ddb7b64057606674e21901
• SHA-1 Hash: ee7ccc32fc39ff3a6e8cf23b4972c10d878459c6
• MD5 Hash: 7cbd8b68af1657391d82ebaab8a35399
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/editors:/tree-sitter/openSUSE_Factory/src/tree-sitter-agda-1.3.3-1.7.src.rpm