Skip to content
Snippets Groups Projects

Fix urls

Merged Fix urls
fix_urls into colibri
Merged Christophe Junke requested to merge fix_urls into colibri
Compare
and
1 file
+ 5
− 1
Compare changes
  • Side-by-side
  • Inline
download.md
+ 5
− 1
@@ -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)