From 971d5642ebed67edc6407ab46ac6172d025b0393 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Fri, 8 Mar 2024 18:22:19 +0100 Subject: [PATCH] [release] update fclang version in .opam --- frama-clang.opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frama-clang.opam b/frama-clang.opam index d52ebcba..01d3d5e6 100644 --- a/frama-clang.opam +++ b/frama-clang.opam @@ -29,7 +29,7 @@ build: [ ["dune" "install" "-p" name "--create-install-files" name] ] name: "frama-clang" -version: "0.0.15-beta" +version: "0.0.15" synopsis: "Frama-C plug-in based on Clang for parsing C++ files" description: """ This Frama-C plug-in parse C++ files that may content ACSL++ annotations. @@ -39,5 +39,5 @@ authors: [ "Virgile Prevosto" ] license: "LGPL-2.1-only" -homepage: "https://frama-c.com/frama-clang.html" +homepage: "https://frama-c.com/fc-plugins/frama-clang.html" bug-reports: "https://git.frama-c.com/pub/frama-clang" -- GitLab