⬢
RubyGems
Navigation menu
搜索 Gem ……
Releases
博客
Gems
指南
登录
注册
jekyll-agda
0.1.0
单击箭头图标展开。
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