Fix license field lint error in alt-ergo 2.0.0-2.2.0

jmid · jmid · commit e9cb3c4ee8d7 · 2025-11-14T23:11:19.000+01:00
diff --git a/packages/alt-ergo/alt-ergo.2.0.0/opam b/packages/alt-ergo/alt-ergo.2.0.0/opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 
 maintainer: "alt-ergo@ocamlpro.com"
 authors: "Alt-Ergo developers"
-license: ["OCamlPro Non-Commercial License" "Apache-1.0+"]
+license: ["LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1" "Apache-1.0+"]
 homepage: "http://alt-ergo.ocamlpro.com/"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
diff --git a/packages/alt-ergo/alt-ergo.2.1.0/opam b/packages/alt-ergo/alt-ergo.2.1.0/opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 
 maintainer: "alt-ergo@ocamlpro.com"
 authors: "Alt-Ergo developers"
-license: ["OCamlPro Non-Commercial License" "Apache-1.0+"]
+license: ["LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1" "Apache-1.0+"]
 homepage: "http://alt-ergo.ocamlpro.com/"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
diff --git a/packages/alt-ergo/alt-ergo.2.2.0/opam b/packages/alt-ergo/alt-ergo.2.2.0/opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 
 maintainer: "alt-ergo@ocamlpro.com"
 authors: "Alt-Ergo developers"
-license: ["OCamlPro Non-Commercial License" "Apache-1.0+"]
+license: ["LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1" "Apache-1.0+"]
 homepage: "http://alt-ergo.ocamlpro.com/"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
