Skip to content
Snippets Groups Projects
Commit 2e3d8667 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[blog] fix E-ACSL link

parent 4889cc65
No related branches found
No related tags found
No related merge requests found
Pipeline #51743 passed
......@@ -12,7 +12,7 @@ available on Docker Hub were based on
However, its reliance on [musl](https://www.musl-libc.org/) instead of
the [GNU libc](https://www.gnu.org/software/libc/) (present in most Linux
distributions) led to incompatibility issues with the
[E-ACSL]{% link _fc-plugins/e-acsl.md %} plug-in. For this reason, current
[E-ACSL]({% link _fc-plugins/e-acsl.md %}) plug-in. For this reason, current
and future Docker images will be based on [Debian](https://www.debian.org/)
instead.
......
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