-
Notifications
You must be signed in to change notification settings - Fork 254
Insights: dafny-lang/dafny
Dependency graph
231 Total
- tzinfo-data >= 0
- wdm ~> 0.1.1
- addressable 2.8.6
- colorator 1.1.0
- concurrent-ruby 1.2.2
- em-websocket 0.5.3
- eventmachine 1.2.7
- ffi 1.16.3
- forwardable-extended 2.6.0
- google-protobuf 3.25.2
- http_parser.rb 0.8.0
- i18n 1.14.1
- jekyll 4.3.3
- jekyll-feed 0.17.0
- jekyll-numbered-headings 0.1.1
- jekyll-sass-converter 3.0.0
- jekyll-seo-tag 2.8.0
- jekyll-watch 2.2.1
- kramdown 2.4.0
- kramdown-parser-gfm 1.1.0