Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

tree-sitter-agda-1.3.3-1.1 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

Name: tree-sitter-agda Distribution: openSUSE Tumbleweed
Version: 1.3.3 Vendor: openSUSE
Release: 1.1 Build date: Tue Sep 15 11:16:59 2026
Group: Unspecified Build host: reproducible
Size: 2175517 Source RPM: tree-sitter-agda-1.3.3-1.1.src.rpm
Packager: https://bugs.opensuse.org
Url: https://github.com/tree-sitter/tree-sitter-agda
Summary: Agda grammar for tree-sitter
 
The tree-sitter grammar for Agda, as a shared library, a WebAssembly
module and the grammar's own queries.

Provides

Requires

License

MIT

Changelog

* Tue Sep 15 2026 Martin Pluskal <mpluskal@suse.com>
  - Initial package, version 1.3.3: the grammar as a shared
    library, a WebAssembly module (-wasm), the upstream queries
    (-queries), the grammar sources (-devel) and the Python
    binding (python-tree-sitter-agda)

Files

/usr/lib64/tree-sitter
/usr/lib64/tree-sitter/libtree-sitter-agda.so
/usr/share/doc/packages/tree-sitter-agda
/usr/share/doc/packages/tree-sitter-agda/README.md
/usr/share/licenses/tree-sitter-agda
/usr/share/licenses/tree-sitter-agda/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 18 00:08:57 2026