diff --git a/frama-clang.opam b/frama-clang.opam index d52ebcba1b43baf647635ce1782ef8efa352e91e..01d3d5e61930145b635442e00cf810451498c492 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"