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

tree-sitter-agda-devel-1.3.3-1.1 RPM for noarch

From OpenSuSE Tumbleweed for noarch

Name: tree-sitter-agda-devel 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: 27051 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: Devel package for tree-sitter-agda containing it's grammar source
 
This package contains grammar sources for use in other grammars.

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/include/tree-sitter
/usr/include/tree-sitter/grammars
/usr/include/tree-sitter/grammars/tree-sitter-agda
/usr/include/tree-sitter/grammars/tree-sitter-agda/grammar.js
/usr/include/tree-sitter/grammars/tree-sitter-agda/package.json

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Oct 10 23:44:58 2026