Skip to content
Snippets Groups Projects
Commit 103b4ca7 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[release] fix opam doc field

parent 0bc6c7e2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam
+ 1
− 1
View file @ 103b4ca7
......@@ -77,7 +77,7 @@ authors: [
homepage: "https://frama-c.com/"
license: "LGPL-2.1-only"
dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
doc: "https://frama-c.com/download/user-manual-30.0-beta-Zinc.pdf"
doc: "https://frama-c.com/download/user-manual-30.0-Zinc.pdf"
bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
tags: [
"deductive verification"
......
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