Skip to content
Snippets Groups Projects
Commit 7af2f3ab authored by Christophe Junke's avatar Christophe Junke
Browse files

Merge branch 'cj-layout-download' into 'colibri'

Change bullet points to sections

See merge request !7
parents 20c13b47 0546fa52
No related branches found
No related tags found
1 merge request!7Change bullet points to sections
Pipeline #65710 passed
......@@ -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)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment