From ff6545e62317d5d62698614cff2b3012ed3b414a Mon Sep 17 00:00:00 2001 From: Kate Date: Mon, 26 Oct 2020 17:58:57 +0000 Subject: [PATCH] dose3: Update upstream repository information --- packages/dose3/dose3.4.3/opam | 4 ++-- packages/dose3/dose3.5.0.1/opam | 4 ++-- packages/dose3/dose3.5.0/opam | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) 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]