Merge branch 'fix_urls' into 'colibri'

Fix urls

See merge request !9

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)