update versions in index.md for Dotty users

[mio-19]

No description provided.

[johnynek]

Thanks for the PR!

[codecov-commenter]

Codecov Report

Merging #250 (1ea40b3) into main (85f3c7f) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #250   +/-   ##
=======================================
  Coverage   96.22%   96.22%           
=======================================
  Files           8        8           
  Lines         980      980           
  Branches       93       93           
=======================================
  Hits          943      943           
  Misses         37       37           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 85f3c7f...1ea40b3. Read the comment docs.