Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
tree-sitter-grammars
tree-sitter-proverif
package
tree-sitter-proverif
Description
Tree-sitter grammar for proverif.
Metadata
Install
Version
0-unstable-2026-02-28
License
0BSD
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/by-name/tr/tree-sitter/grammars/build-grammar.nix:163
Homepage
https://codeberg.org/maribu/tree-sitter-proverif
