diff --git a/opam b/opam index 53586a75eff6edbf6c4346ed6e60ed057bad6c33..7de11ee3cd614a37296b6dbfce7760899ea8d1cf 100644 --- a/opam +++ b/opam @@ -72,7 +72,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: "http://frama-c.com/download/user-manual-29.0-Copper.pdf" +doc: "http://frama-c.com/download/user-manual-29.0-beta-Copper.pdf" bug-reports: "https://git.frama-c.com/pub/frama-c/issues" tags: [ "deductive"