From 0881334d1654f53b263f8f021978f3e8ee16d01c Mon Sep 17 00:00:00 2001
From: christophe <christophe.junke@cea.fr>
Date: Thu, 23 Jan 2025 10:12:45 +0100
Subject: [PATCH 1/2] Add link to COLIBRI repository

---
 download.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/download.md b/download.md
index 11ac711..eec1b4c 100644
--- a/download.md
+++ b/download.md
@@ -24,6 +24,10 @@ direct: true
 
 ### From source
 
+#### **COLIBRI**
+
+   - [Gitlab repository](https://git.frama-c.com/pub/colibri/)
+
 #### **Colibri2**
 
   - [`opam install colibri2`](https://ocaml.org/p/colibri2/latest)
-- 
GitLab


From 54efd3c67f9d7b97c23bace032abf7a5bd6c11fa Mon Sep 17 00:00:00 2001
From: christophe <christophe.junke@cea.fr>
Date: Thu, 23 Jan 2025 11:18:11 +0100
Subject: [PATCH 2/2] Fix version in job name for master branch of colibri2

---
 download.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/download.md b/download.md
index eec1b4c..405d472 100644
--- a/download.md
+++ b/download.md
@@ -20,7 +20,7 @@ direct: true
 #### **Colibri2**
 
   - [Colibri2 0.4](https://git.frama-c.com/pub/colibrics/-/jobs/artifacts/0.4/raw/bin/colibri2/colibri2?job=generate-static:%20[4.12.0])
-  - [Colibri2 development version](https://git.frama-c.com/pub/colibrics/-/jobs/artifacts/master/raw/bin/colibri2/colibri2?job=generate-static:%20[4.12.0])
+  - [Colibri2 development version](https://git.frama-c.com/pub/colibrics/-/jobs/artifacts/master/raw/bin/colibri2/colibri2?job=generate-static:%20[4.14.0])
 
 ### From source
 
-- 
GitLab