You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
GEM
|
|
|
|
|
remote: https://rubygems.org/
|
|
|
|
|
specs:
|
|
|
|
|
ffi (1.15.5)
|
|
|
|
|
language_server-protocol (3.17.0.2)
|
|
|
|
|
minitest (5.16.3)
|
|
|
|
|
parslet (2.0.0)
|
|
|
|
|
prettier_print (1.2.0)
|
|
|
|
|
ruby-lsp (0.3.7)
|
|
|
|
|
language_server-protocol (~> 3.17.0)
|
|
|
|
|
sorbet-runtime
|
|
|
|
|
syntax_tree (>= 4.0.2, < 5.0.0)
|
|
|
|
|
sorbet-runtime (0.5.10597)
|
|
|
|
|
syntax_tree (4.3.0)
|
|
|
|
|
prettier_print (>= 1.0.2)
|
|
|
|
|
z3 (0.0.20221020)
|
|
|
|
|
ffi (~> 1.9)
|
|
|
|
|
|
|
|
|
|
PLATFORMS
|
|
|
|
|
arm64-darwin-21
|
|
|
|
|
|
|
|
|
|
DEPENDENCIES
|
|
|
|
|
minitest
|
|
|
|
|
parslet
|
|
|
|
|
ruby-lsp
|
|
|
|
|
z3
|
|
|
|
|
|
|
|
|
|
BUNDLED WITH
|
|
|
|
|
2.3.18
|
