diff --git a/opam/opam b/opam/opam index 9f715d2b74b753268a2849ab0b69103582117e28..3ba784a791405be719eac1d105526731c8d723a4 100644 --- a/opam/opam +++ b/opam/opam @@ -66,7 +66,7 @@ homepage: "http://frama-c.com/" license: "GNU Lesser General Public License version 2.1" dev-repo: "git+https://git.frama-c.com/pub/frama-c.git" doc: "http://frama-c.com/download/user-manual-21.1-Scandium.pdf" -bug-reports: "https://bts.frama-c.com/" +bug-reports: "https://git.frama-c.com/pub/frama-c/issues" tags: [ "deductive" "program verification"