Updated.

sireum · Nov 22, 2024 · 8416bf4 · 8416bf4
1 parent 7fa6a33
commit 8416bf4
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/getting-started/index.html b/getting-started/index.html
@@ -671,7 +671,7 @@ <h2 class="post-title"><a href="https://sireum.org/getting-started/">Getting Sta
 <h3 id="download">Download</h3>
 <h4 id="binaries">Packaged Binaries</h4>
 <h5 id="latest-release-bin">Latest Release</h5>
-<p><a href="https://github.com/sireum/kekinian/releases/tag/4.20241104.1c0dea6">https://github.com/sireum/kekinian/releases/tag/4.20241104.1c0dea6</a></p>
+<p><a href="https://github.com/sireum/kekinian/releases/tag/4.20241122.a3b711d">https://github.com/sireum/kekinian/releases/tag/4.20241122.a3b711d</a></p>
 <h6 id="vscodium-based-ive">VSCodium-based IVE</h6>
 
 
@@ -696,12 +696,12 @@ <h6 id="vscodium-based-ive">VSCodium-based IVE</h6>
     <div class="tab-content">
 
         <div data-tab-item="macOS/Linux" data-tab-group="binaries-release" class="tab-item active">
-        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"><span class="nv">DISTRO</span><span class="o">=</span>codeive sh -c <span class="s2">&#34;</span><span class="k">$(</span>curl -fsSL https://github.com/sireum/kekinian/releases/download/4.20241104.1c0dea6/install.cmd<span class="k">)</span><span class="s2">&#34;</span>
+        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"><span class="nv">DISTRO</span><span class="o">=</span>codeive sh -c <span class="s2">&#34;</span><span class="k">$(</span>curl -fsSL https://github.com/sireum/kekinian/releases/download/4.20241122.a3b711d/install.cmd<span class="k">)</span><span class="s2">&#34;</span>
 </span></span></code></pre></div>
     </div>
 
         <div data-tab-item="Windows" data-tab-group="binaries-release" class="tab-item ">
-        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-cmd" data-lang="cmd"><span class="line"><span class="cl">cmd /V/C <span class="s2">&#34;set DISTRO=codeive&amp;&amp; curl -JLOs https://github.com/sireum/kekinian/releases/download/4.20241104.1c0dea6/install.cmd &amp;&amp; install.cmd &amp;&amp; del /q/f install.cmd&#34;</span>
+        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-cmd" data-lang="cmd"><span class="line"><span class="cl">cmd /V/C <span class="s2">&#34;set DISTRO=codeive&amp;&amp; curl -JLOs https://github.com/sireum/kekinian/releases/download/4.20241122.a3b711d/install.cmd &amp;&amp; install.cmd &amp;&amp; del /q/f install.cmd&#34;</span>
 </span></span></code></pre></div>
     </div>
 
@@ -731,12 +731,12 @@ <h6 id="both-vscodium-based-and-intellij-based-ives">Both VSCodium-based and Int
     <div class="tab-content">
 
         <div data-tab-item="macOS/Linux" data-tab-group="binaries-release" class="tab-item active">
-        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"><span class="nv">DISTRO</span><span class="o">=</span>ive sh -c <span class="s2">&#34;</span><span class="k">$(</span>curl -fsSL https://github.com/sireum/kekinian/releases/download/4.20241104.1c0dea6/install.cmd<span class="k">)</span><span class="s2">&#34;</span>
+        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"><span class="nv">DISTRO</span><span class="o">=</span>ive sh -c <span class="s2">&#34;</span><span class="k">$(</span>curl -fsSL https://github.com/sireum/kekinian/releases/download/4.20241122.a3b711d/install.cmd<span class="k">)</span><span class="s2">&#34;</span>
 </span></span></code></pre></div>
     </div>
 
         <div data-tab-item="Windows" data-tab-group="binaries-release" class="tab-item ">
-        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-cmd" data-lang="cmd"><span class="line"><span class="cl">cmd /V/C <span class="s2">&#34;set DISTRO=ive&amp;&amp; curl -JLOs https://github.com/sireum/kekinian/releases/download/4.20241104.1c0dea6/install.cmd &amp;&amp; install.cmd &amp;&amp; del /q/f install.cmd&#34;</span>
+        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-cmd" data-lang="cmd"><span class="line"><span class="cl">cmd /V/C <span class="s2">&#34;set DISTRO=ive&amp;&amp; curl -JLOs https://github.com/sireum/kekinian/releases/download/4.20241122.a3b711d/install.cmd &amp;&amp; install.cmd &amp;&amp; del /q/f install.cmd&#34;</span>
 </span></span></code></pre></div>
     </div>
 
@@ -867,12 +867,12 @@ <h5 id="latest-release">Latest Release</h5>
     <div class="tab-content">
 
         <div data-tab-item="macOS/Linux" data-tab-group="installer-script" class="tab-item active">
-        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"><span class="o">(</span><span class="nv">DIR</span><span class="o">=</span>Sireum <span class="o">&amp;&amp;</span> <span class="nb">export</span> <span class="nv">SIREUM_V</span><span class="o">=</span>4.20241104.1c0dea6 <span class="o">&amp;&amp;</span> rm -fR <span class="nv">$DIR</span> <span class="o">&amp;&amp;</span> mkdir -p <span class="nv">$DIR</span>/bin <span class="o">&amp;&amp;</span> <span class="nb">cd</span> <span class="nv">$DIR</span>/bin <span class="o">&amp;&amp;</span> curl -JLso init.sh https://raw.githubusercontent.com/sireum/kekinian/<span class="nv">$SIREUM_V</span>/bin/init.sh <span class="o">&amp;&amp;</span> bash init.sh<span class="o">)</span>
+        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-sh" data-lang="sh"><span class="line"><span class="cl"><span class="o">(</span><span class="nv">DIR</span><span class="o">=</span>Sireum <span class="o">&amp;&amp;</span> <span class="nb">export</span> <span class="nv">SIREUM_V</span><span class="o">=</span>4.20241122.a3b711d <span class="o">&amp;&amp;</span> rm -fR <span class="nv">$DIR</span> <span class="o">&amp;&amp;</span> mkdir -p <span class="nv">$DIR</span>/bin <span class="o">&amp;&amp;</span> <span class="nb">cd</span> <span class="nv">$DIR</span>/bin <span class="o">&amp;&amp;</span> curl -JLso init.sh https://raw.githubusercontent.com/sireum/kekinian/<span class="nv">$SIREUM_V</span>/bin/init.sh <span class="o">&amp;&amp;</span> bash init.sh<span class="o">)</span>
 </span></span></code></pre></div>
     </div>
 
         <div data-tab-item="Windows" data-tab-group="installer-script" class="tab-item ">
-        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-cmd" data-lang="cmd"><span class="line"><span class="cl">cmd /V /C <span class="s2">&#34;set DIR=Sireum&amp;&amp; set SIREUM_V=4.20241104.1c0dea6&amp;&amp; (if exist !DIR! rd /S /Q !DIR!) &amp;&amp; md !DIR!\bin &amp;&amp; cd !DIR!\bin &amp;&amp; curl -JLso init.bat https://raw.githubusercontent.com/sireum/kekinian/!SIREUM_V!/bin/init.bat &amp;&amp; init.bat&#34;</span>
+        <div class="highlight"><pre tabindex="0" class="chroma"><code class="language-cmd" data-lang="cmd"><span class="line"><span class="cl">cmd /V /C <span class="s2">&#34;set DIR=Sireum&amp;&amp; set SIREUM_V=4.20241122.a3b711d&amp;&amp; (if exist !DIR! rd /S /Q !DIR!) &amp;&amp; md !DIR!\bin &amp;&amp; cd !DIR!\bin &amp;&amp; curl -JLso init.bat https://raw.githubusercontent.com/sireum/kekinian/!SIREUM_V!/bin/init.bat &amp;&amp; init.bat&#34;</span>
 </span></span></code></pre></div>
     </div>