diff --git a/packages/dose3/dose3.4.3/opam b/packages/dose3/dose3.4.3/opam index aeb058bb159..dd23f15f56c 100644 --- 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 index 28020fa6553..3cc6cafebb4 100644 --- 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 index 72c1eabbed4..95b80a8c489 100644 --- 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]