From 2e3d8667d1f35949ec26a6b054a5c29cd4598022 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 21 Dec 2022 10:12:16 +0100 Subject: [PATCH] [blog] fix E-ACSL link --- _posts/2022-12-20-frama-c-docker-e-acsl.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 9562ea46..504df181 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. -- GitLab