From 2cb04201237dd08db591738526828fcb633c0e56 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 9 Dec 2022 10:58:09 +0100
Subject: [PATCH] remove reference to obsolete MetAcsl release in the
 description of the plug-in

---
 _fc-plugins/metacsl.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/_fc-plugins/metacsl.md b/_fc-plugins/metacsl.md
index 4cc79626..e732c904 100644
--- a/_fc-plugins/metacsl.md
+++ b/_fc-plugins/metacsl.md
@@ -45,8 +45,7 @@ verify these annotations.
 MetAcsl is available as a separate open-source plug-in, on [Gitlab](https://git.frama-c.com/pub/meta) (more information there).
 It is intended to be compatible with the latest state of [Frama-C's public repository](https://git.frama-c.com/pub/frama-c).
 
-For installing the plug-in against the stable version Frama-C 22.0 Titanium,
-there also exists a companion [MetAcsl 0.1 release](https://git.frama-c.com/pub/meta/-/releases/0.1). It is also available through `opam` as the
+Since Frama-C 22.0 Titanium, there also exists a companion [MetAcsl release](https://git.frama-c.com/pub/meta/-/releases/) for each Frama-C version. It is also available through `opam` as the
 `frama-c-metacsl` package.
 
 Once installed, the plugin is activated by the `-meta` option, which will parse the meta-properties and generate the corresponding ACSL annotations.
-- 
GitLab