⬢
RubyGems
Navigation menu
Recherche de Gems…
Releases
Blog
Gems
Guides
Connexion
Inscription
jekyll-agda
0.1.0
Click on the arrow icon to expand.
Runtime :
jekyll 4.3.4
>= 3, < 5
Development :
byebug 11.1.3
~> 11.1.3
rspec 3.10.0
~> 3.10.0
rufo 0.13.0
~> 0.13.0
simplecov 0.21.2
~> 0.21.2