diff --git a/_posts/2022-12-20-frama-c-docker-e-acsl.md b/_posts/2022-12-20-frama-c-docker-e-acsl.md index 9562ea463ede63a55284e77efb4503843077416b..504df1816b127da0d9fb222eb2b3a4091f7d9e3f 100644 --- a/_posts/2022-12-20-frama-c-docker-e-acsl.md +++ b/_posts/2022-12-20-frama-c-docker-e-acsl.md @@ -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.