From 3b4657b9503a29d3231cc7dd4389868618ae50a8 Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Fri, 15 Oct 2021 01:12:15 +0900 Subject: [PATCH] Update package overview of menhir to move from GForge to GitLab Signed-off-by: Sora Morimoto --- packages/menhir/menhir.20140422/opam | 2 +- packages/menhir/menhir.20150921/opam | 2 +- packages/menhir/menhir.20151005/opam | 2 +- packages/menhir/menhir.20151012/opam | 2 +- packages/menhir/menhir.20151023/opam | 2 +- packages/menhir/menhir.20151026/opam | 2 +- packages/menhir/menhir.20151030/opam | 2 +- packages/menhir/menhir.20151103/opam | 2 +- packages/menhir/menhir.20151112/opam | 2 +- packages/menhir/menhir.20160303/opam | 2 +- packages/menhir/menhir.20160504/opam | 2 +- packages/menhir/menhir.20160526/opam | 2 +- packages/menhir/menhir.20160808/opam | 2 +- packages/menhir/menhir.20160825/opam | 2 +- packages/menhir/menhir.20161114/opam | 2 +- packages/menhir/menhir.20161115/opam | 2 +- packages/menhir/menhir.20170101/opam | 2 +- 17 files changed, 17 insertions(+), 17 deletions(-) diff --git a/packages/menhir/menhir.20140422/opam b/packages/menhir/menhir.20140422/opam index ded77873aea..24720fb782f 100644 --- a/packages/menhir/menhir.20140422/opam +++ b/packages/menhir/menhir.20140422/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ make diff --git a/packages/menhir/menhir.20150921/opam b/packages/menhir/menhir.20150921/opam index 302ea112d51..92b601b807c 100644 --- a/packages/menhir/menhir.20150921/opam +++ b/packages/menhir/menhir.20150921/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20151005/opam b/packages/menhir/menhir.20151005/opam index f8e17f3e91d..eba1cf3647c 100644 --- a/packages/menhir/menhir.20151005/opam +++ b/packages/menhir/menhir.20151005/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20151012/opam b/packages/menhir/menhir.20151012/opam index 3db24e27114..e946b833a5a 100644 --- a/packages/menhir/menhir.20151012/opam +++ b/packages/menhir/menhir.20151012/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20151023/opam b/packages/menhir/menhir.20151023/opam index 0eece761582..17a72d2c3cc 100644 --- a/packages/menhir/menhir.20151023/opam +++ b/packages/menhir/menhir.20151023/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20151026/opam b/packages/menhir/menhir.20151026/opam index 52ced54bc0b..5879072be8c 100644 --- a/packages/menhir/menhir.20151026/opam +++ b/packages/menhir/menhir.20151026/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20151030/opam b/packages/menhir/menhir.20151030/opam index 40d7a4521e6..38fc9f3d476 100644 --- a/packages/menhir/menhir.20151030/opam +++ b/packages/menhir/menhir.20151030/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20151103/opam b/packages/menhir/menhir.20151103/opam index 7ee030e4e4a..0df7401f6ed 100644 --- a/packages/menhir/menhir.20151103/opam +++ b/packages/menhir/menhir.20151103/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20151112/opam b/packages/menhir/menhir.20151112/opam index 1ef72c68e4d..bac53be598d 100644 --- a/packages/menhir/menhir.20151112/opam +++ b/packages/menhir/menhir.20151112/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20160303/opam b/packages/menhir/menhir.20160303/opam index b8b43efaf9c..d29b68ada66 100644 --- a/packages/menhir/menhir.20160303/opam +++ b/packages/menhir/menhir.20160303/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20160504/opam b/packages/menhir/menhir.20160504/opam index fd098e81bed..6c6a1ca843c 100644 --- a/packages/menhir/menhir.20160504/opam +++ b/packages/menhir/menhir.20160504/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20160526/opam b/packages/menhir/menhir.20160526/opam index dea7ebcf821..ec1bcf76307 100644 --- a/packages/menhir/menhir.20160526/opam +++ b/packages/menhir/menhir.20160526/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20160808/opam b/packages/menhir/menhir.20160808/opam index 28d5f493879..8fb45f93308 100644 --- a/packages/menhir/menhir.20160808/opam +++ b/packages/menhir/menhir.20160808/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20160825/opam b/packages/menhir/menhir.20160825/opam index 2f996ee407c..db39cd98618 100644 --- a/packages/menhir/menhir.20160825/opam +++ b/packages/menhir/menhir.20160825/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir-list@yquem.inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20161114/opam b/packages/menhir/menhir.20161114/opam index 41407821fd0..c2b2e6a514e 100644 --- a/packages/menhir/menhir.20161114/opam +++ b/packages/menhir/menhir.20161114/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir@inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20161115/opam b/packages/menhir/menhir.20161115/opam index f7000dad0f5..e7039615884 100644 --- a/packages/menhir/menhir.20161115/opam +++ b/packages/menhir/menhir.20161115/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir@inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"] diff --git a/packages/menhir/menhir.20170101/opam b/packages/menhir/menhir.20170101/opam index 56887e680e7..ca8b42e430c 100644 --- a/packages/menhir/menhir.20170101/opam +++ b/packages/menhir/menhir.20170101/opam @@ -5,7 +5,7 @@ authors: [ "Yann Régis-Gianas " ] homepage: "http://gallium.inria.fr/~fpottier/menhir/" -dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir.git" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" bug-reports: "menhir@inria.fr" build: [ [make "-f" "Makefile" "PREFIX=%{prefix}%" "USE_OCAMLFIND=true" "docdir=%{doc}%/menhir" "libdir=%{lib}%/menhir" "mandir=%{man}%/man1"]