diff --git a/download.md b/download.md
index 11ac711b6c7f51f6ab2d73c33a4f8a1e6acdcc6b..405d47251cac27e53d9c7b4aba5d8cfb433930be 100644
--- a/download.md
+++ b/download.md
@@ -20,10 +20,14 @@ 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
 
+#### **COLIBRI**
+
+   - [Gitlab repository](https://git.frama-c.com/pub/colibri/)
+
 #### **Colibri2**
 
   - [`opam install colibri2`](https://ocaml.org/p/colibri2/latest)