Commit 8745d67f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Update opam doc link

parent f5924dbf
......@@ -65,7 +65,7 @@ authors: [
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"
doc: "http://frama-c.com/download/user-manual-22.0-beta-Titanium.pdf"
bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
tags: [
"deductive"
......
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