[Download] Add colibri2 nightly information

html/get-frama-c.html

@@ -29,12 +29,12 @@ description: Download and install the Frama-C analysis platform now!
 sudo apt install opam <span class="shell-linux-comment"># or dnf, pacman, etc.</span>
 
 
-<span class="shell-linux-comment"># 2. Install Frama-C's dependencies</span>
+<span class="shell-linux-comment"># 2. Install Colibri2's dependencies</span>
 opam install depext
 opam depext frama-c
 <br>
-<span class="shell-linux-comment"># 3. Install Frama-C itself</span>
-opam install frama-c</pre>
+<span class="shell-linux-comment"># 4. Install Colibri2 itself</span>
+opam install colibri2</pre>
                 </div>
 
                 <div class="codeTab tab-mac hide">
@@ -42,16 +42,16 @@ opam install frama-c</pre>
 <span class="shell-mac-comment"># 1. Install <a href="https://brew.sh/">Homebrew</a></span>
 
 <span class="shell-mac-comment"># 2. Install required dependencies for Frama-C</span>
-brew install opam gmp gtk+ gtksourceview libgnomecanvas
+brew install opam gmp gtk+
 
 <span class="shell-mac-comment"># 3. Configure GTK library</span>
 export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig
 
-<span class="shell-mac-comment"># 4. Install recommended dependencies for Frama-C</span>
-brew install graphviz zmq
+<!-- <span class="shell-mac-comment"># 4. Install recommended dependencies for Frama-C</span> -->
+<!-- brew install zmq -->
 
-<span class="shell-mac-comment"># 5. Finally install Frama-C</span>
-opam install frama-c</pre>
+<span class="shell-mac-comment"># 4. Finally install colibri2</span>
+opam install colibri2</pre>
                 </div>
 
                 <div class="codeTab tab-windows hide">
@@ -66,33 +66,22 @@ opam init --disable-sandboxing --shell-setup
 eval $(opam env)
 opam install -y depext
 
-<span class="shell-win-comment"># 3. Install graphical dependencies</span>
-opam depext --install -y lablgtk3 lablgtk3-sourceview3
+<!-- <span class="shell-win-comment"># 3. Install graphical dependencies</span> -->
+<!-- opam depext --install -y lablgtk3 lablgtk3-sourceview3 -->
 
-<span class="shell-win-comment"># 4. Install Frama-C</span>
+<span class="shell-win-comment"># 4. Install Colibri2</span>
 opam depext --install -y frama-c</pre>
                 </div>
               </div>
             </div>
           </div>
-          <div class="otherConfiguration">
-            For detailed installation instructions, <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">click here</a>
-            <br>All Frama-C releases are available <a href="/html/framac-versions.html">from this page</a>
-          </div>
-          {% if site.fc-versions.last.beta %}
-          <div class="otherVersion">
-            The beta version of the next Frama-C release is available <a href="{{ site.fc-versions.last.url }}">here</a>
-          </div>
-          {% endif %}
           <h1 class="pageTitle">Downloads</h1>
           <div class="tileWrapper" size="big">
             <div class="tile">
-              <h4 class="tileTitle"><span>Frama-C and ACSL</span></h4>
+              <h4 class="tileTitle"><span>Colibri2</span></h4>
               <ul>
-                <li><a href="/download/frama-c-source-dist.tar.gz">Frama-C source distribution</a></li>
-                <li><a href="/download/frama-c-user-manual.pdf">Frama-C user manual</a></li>
-                <li><a href="/download/frama-c-plugin-development-guide.pdf">Plug-in development guide</a></li>
-                <li><a href="/download/frama-c-acsl-implementation.pdf">ACSL implementation</a></li>
+                <li><a href="https://git.frama-c.com/pub/colibrics/-/jobs/artifacts/master/raw/bin/colibri2?job=generate-static:%20[4.12.0]">Colibri2
+                Nightly development version, Linux binary</a></li>
               </ul>
             </div>
             <div class="tile">