Update for Amaranth 0.5.3.

amaranth-lang · Oct 31, 2024 · 559d236 · 559d236
1 parent c785e39
commit 559d236
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -2,6 +2,6 @@
 
 <p>Try <a href="https://amaranth-lang.org/play/">Amaranth in your browser</a>.</p>
 
-<p>Read <a href="https://amaranth-lang.org/docs/amaranth/v0.5.2/">documentation for the latest released version</a>, or <a href="https://amaranth-lang.org/docs/amaranth/latest/">documentation for the in-development, unreleased functionality</a>.</p>
+<p>Read <a href="https://amaranth-lang.org/docs/amaranth/v0.5.3/">documentation for the latest released version</a>, or <a href="https://amaranth-lang.org/docs/amaranth/latest/">documentation for the in-development, unreleased functionality</a>.</p>
 
 <p>Read <a href="https://amaranth-lang.org/rfcs/">the accepted RFCs</a>.</p>