RubyGems Navigation menu

korekto 2.0.231231

A general proof checker. Works with [neovim](https://github.com/neovim/neovim).

Gemfile:
=

installieren:
=

Versionen:

  1. 2.0.231231 December 31, 2023 (12,5 KB)
  2. 1.6.210409 April 09, 2021 (10 KB)
  3. 1.6.210407 April 07, 2021 (10 KB)
  4. 1.5.210331 March 31, 2021 (9,5 KB)
  5. 1.5.210328 March 28, 2021 (9,5 KB)
Zeige alle Versionen (13 total)

Runtime Abhängigkeiten (1):

help_parser ~> 8.2, >= 8.2.230210

Development Abhängigkeiten (5):

colorize ~> 1.1, >= 1.1.0
cucumber ~> 9.1, >= 9.1.0
parser ~> 3.2, >= 3.2.2
rubocop ~> 1.59, >= 1.59.0
test-unit ~> 3.6, >= 3.6.1

Anforderungen:

git: 2.30

neovim-ruby-host: 0.9

nvim: 0.9

ruby: 3.3

xdg-open: 1.1

Besitzer:

Pushed by:

Autoren:

  • CarlosJHR64

SHA 256-Prüfsumme:

=

Downloads insgesamt 20.620

Für diese Version 409

Version veröffentlicht:

Lizenz:

MIT

Erforderliche Ruby-Version: >= 0

Links: