Update repository addresses.

ROADMAP

@@ -142,9 +142,11 @@
 * upload distrib/why3-0.86.tar.gz to https://gforge.inria.fr/frs/?group_id=2990
 
 * upload the documentation on the web page
+ - cp share/why3session.dtd /users/www-perso/projets/why3/
  - cp doc/manual.pdf /users/www-perso/projets/why3/download/manual-0.86.pdf
+   ln -s -n -f download/manual-0.86.pdf /users/www-perso/projets/why3/manual.pdf
  - cp -r doc/html /users/www-perso/projets/why3/doc-0.86
- - cp share/why3session.dtd /users/www-perso/projets/why3/
+   ln -s -n -f doc-0.86 /users/www-perso/projets/why3/doc
  - cp -r doc/stdlibdoc /users/www-perso/projets/why3/stdlib-0.86
    ln -s -n -f stdlib-0.86 /users/www-perso/projets/why3/stdlib
  - cp -r doc/apidoc /users/www-perso/projets/why3/api-0.86

opam/why3-base/opam

@@ -10,9 +10,9 @@ authors: [
 
 homepage: "http://why3.lri.fr/"
 license: "GNU Lesser General Public License version 2.1"
-doc: "http://why3.lri.fr/#documentation"
-bug-reports: "https://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293"
-dev-repo: "https://scm.gforge.inria.fr/anonscm/git/why3/why3.git"
+doc: "http://why3.lri.fr/doc/"
+bug-reports: "https://gitlab.inria.fr/why3/why3/issues"
+dev-repo: "https://gitlab.inria.fr/why3/why3.git"
 
 tags: [
   "deductive"
@@ -46,6 +46,7 @@ build-doc: [
 depends: [
   "ocamlfind"
   "menhir"
+  "num"
 ]
 
 depopts: [

opam/why3/opam

@@ -7,11 +7,13 @@ authors: [
   "Guillaume Melquiond"
   "Andrei Paskevich"
 ]
+
 homepage: "http://why3.lri.fr/"
 license: "GNU Lesser General Public License version 2.1"
-doc: "http://why3.lri.fr/#documentation"
-bug-reports: "https://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293"
-dev-repo: "https://scm.gforge.inria.fr/anonscm/git/why3/why3.git"
+doc: "http://why3.lri.fr/doc/"
+bug-reports: "https://gitlab.inria.fr/why3/why3/issues"
+dev-repo: "https://gitlab.inria.fr/why3/why3.git"
+
 tags: [
   "deductive"
   "program verification"