From c8ce03d608eb67d2a01cecc9a684d35c77b4107e Mon Sep 17 00:00:00 2001
From: Etienne Parent <etienne.parent@cea.fr>
Date: Fri, 9 Sep 2022 10:08:37 +0200
Subject: [PATCH] update blog link for Skein tutorial

---
 doc/eva/main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/eva/main.tex b/doc/eva/main.tex
index a54f9ca522a..070536757ad 100644
--- a/doc/eva/main.tex
+++ b/doc/eva/main.tex
@@ -1120,7 +1120,7 @@ The latter condition is harder than the former.
 Observing results (with the GUI or observation functions
 described in section \ref{buitins_observation}) can help to iterate towards
 a solution. Be creative. The continuation of this tutorial can be found online
-at \url{http://blog.frama-c.com/index.php?tag/skein}\footnote{Note that some
+at \url{https://frama-c.com/category/skein/}\footnote{Note that some
   messages and options have changed since the tutorial was posted. Using an
   older Frama-C version may be necessary to obtain similar results.}
 ; read available posts in chronological order.
-- 
GitLab