Commit 641f788e authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[opam] update URL for bug reports

parent 4a5370dd
......@@ -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"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment