Skip to content
Snippets Groups Projects

Change bullet points to sections

Merged Change bullet points to sections
cj-layout-download into colibri
Merged Christophe Junke requested to merge cj-layout-download into colibri
Compare
and
1 file
+ 3
− 3
Compare changes
  • Side-by-side
  • Inline
download.md
+ 3
− 3
@@ -8,7 +8,7 @@ direct: true
### Static binaries
* **COLIBRI**
#### **COLIBRI**
Download a /bundle/ directory which contains the `colibri` executable and its dependencies.
@@ -16,14 +16,14 @@ direct: true
- [All releases](https://git.frama-c.com/pub/colibri/-/releases/)
- [Nightly jobs](https://git.frama-c.com/pub/colibri/-/pipelines?scope=finished&source=schedule&status=success)
* **Colibri2**
#### **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])
### From source
* **Colibri2**
#### **Colibri2**
- [`opam install colibri2`](https://ocaml.org/p/colibri2/latest)
- [`opam install colibrics`](https://ocaml.org/p/colibrics/latest)