From b26f5a9bd0a9acc0ad019702983a181c69b30c0c Mon Sep 17 00:00:00 2001 From: hichaeh Date: Fri, 17 Dec 2021 18:18:55 +0100 Subject: [PATCH] Added the "org:OCamlPro" tag to the opam files --- alt-ergo-lib.opam | 1 + alt-ergo-lib.opam.template | 1 + alt-ergo-parsers.opam | 1 + alt-ergo-parsers.opam.template | 1 + alt-ergo.opam | 1 + alt-ergo.opam.template | 1 + altgr-ergo.opam | 1 + altgr-ergo.opam.template | 1 + 8 files changed, 8 insertions(+) diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam index d99b91ab0..e90d5eced 100644 --- a/alt-ergo-lib.opam +++ b/alt-ergo-lib.opam @@ -27,6 +27,7 @@ depends: [ dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git" # This part comes from the template. Please edit alt-ergo.opam.template # and not alt-ergo-lib.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1" diff --git a/alt-ergo-lib.opam.template b/alt-ergo-lib.opam.template index 5fc3903bd..eb8cfb975 100644 --- a/alt-ergo-lib.opam.template +++ b/alt-ergo-lib.opam.template @@ -1,5 +1,6 @@ # This part comes from the template. Please edit alt-ergo.opam.template # and not alt-ergo-lib.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1" diff --git a/alt-ergo-parsers.opam b/alt-ergo-parsers.opam index e10874e30..295a78d12 100644 --- a/alt-ergo-parsers.opam +++ b/alt-ergo-parsers.opam @@ -26,6 +26,7 @@ depends: [ dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git" # This part comes from the template. Please edit alt-ergo.opam.template # and not alt-ergo-parsers.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1" diff --git a/alt-ergo-parsers.opam.template b/alt-ergo-parsers.opam.template index 3b398b90f..c21d135ca 100644 --- a/alt-ergo-parsers.opam.template +++ b/alt-ergo-parsers.opam.template @@ -1,5 +1,6 @@ # This part comes from the template. Please edit alt-ergo.opam.template # and not alt-ergo-parsers.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1" diff --git a/alt-ergo.opam b/alt-ergo.opam index 71e13c34c..919c1293b 100644 --- a/alt-ergo.opam +++ b/alt-ergo.opam @@ -23,6 +23,7 @@ depends: [ dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git" # This part comes from the template. Please edit alt-ergo.opam.template # and not alt-ergo.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1" diff --git a/alt-ergo.opam.template b/alt-ergo.opam.template index 848afdf66..414b6be9d 100644 --- a/alt-ergo.opam.template +++ b/alt-ergo.opam.template @@ -1,5 +1,6 @@ # This part comes from the template. Please edit alt-ergo.opam.template # and not alt-ergo.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1" diff --git a/altgr-ergo.opam b/altgr-ergo.opam index ea3cc05cf..dcfac6013 100644 --- a/altgr-ergo.opam +++ b/altgr-ergo.opam @@ -26,6 +26,7 @@ depends: [ dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git" # This part comes from the template. Please edit alt-ergo.opam.template # and not altgr-ergo.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1" diff --git a/altgr-ergo.opam.template b/altgr-ergo.opam.template index c519a89ae..7f61b0594 100644 --- a/altgr-ergo.opam.template +++ b/altgr-ergo.opam.template @@ -1,5 +1,6 @@ # This part comes from the template. Please edit alt-ergo.opam.template # and not altgr-ergo.opam which is generated by dune +tags: "org:OCamlPro" license: [ "OCamlPro Non-Commercial Purpose License, version 1"