Merge pull request ocaml#17508 from kit-ty-kate/update-dose3-repo

dose3: Update upstream repository information
kit-ty-kate · Oct 26, 2020 · f458cce · f458cce
2 parents a7ad426 + ff6545e
commit f458cce
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/packages/dose3/dose3.4.3/opam b/packages/dose3/dose3.4.3/opam
@@ -11,9 +11,9 @@ authors: [
   "Olivier Rosello"
 ]
 homepage: "http://www.mancoosi.org/software/"
-bug-reports: "https://gforge.inria.fr/tracker/?group_id=4395"
+bug-reports: "https://gitlab.com/irill/dose3/-/issues"
 license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
-dev-repo: "git+https://gforge.inria.fr/git/dose/dose.git"
+dev-repo: "git+https://gitlab.com/irill/dose3.git"
 build: [
   ["./configure"]
   [make]

diff --git a/packages/dose3/dose3.5.0.1/opam b/packages/dose3/dose3.5.0.1/opam
@@ -11,9 +11,9 @@ authors: [
   "Olivier Rosello"
 ]
 homepage: "http://www.mancoosi.org/software/"
-bug-reports: "https://gforge.inria.fr/tracker/?group_id=4395"
+bug-reports: "https://gitlab.com/irill/dose3/-/issues"
 license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
-dev-repo: "git+https://gforge.inria.fr/git/dose/dose.git"
+dev-repo: "git+https://gitlab.com/irill/dose3.git"
 build: [
   ["./configure"]
   [make "printconf"]

diff --git a/packages/dose3/dose3.5.0/opam b/packages/dose3/dose3.5.0/opam
@@ -11,9 +11,9 @@ authors: [
   "Olivier Rosello"
 ]
 homepage: "http://www.mancoosi.org/software/"
-bug-reports: "https://gforge.inria.fr/tracker/?group_id=4395"
+bug-reports: "https://gitlab.com/irill/dose3/-/issues"
 license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
-dev-repo: "git+https://gforge.inria.fr/git/dose/dose.git"
+dev-repo: "git+https://gitlab.com/irill/dose3.git"
 build: [
   ["./configure"]
   [make]