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 22.449

Für diese Version 725

Version veröffentlicht:

Lizenz:

MIT

Erforderliche Ruby-Version: >= 0

Links: