diff --git a/packages/alt-ergo-free/alt-ergo-free.2.0.0/opam b/packages/alt-ergo-free/alt-ergo-free.2.0.0/opam
index f0624d43649f..336b088f7d96 100644
--- a/packages/alt-ergo-free/alt-ergo-free.2.0.0/opam
+++ b/packages/alt-ergo-free/alt-ergo-free.2.0.0/opam
@@ -4,6 +4,7 @@ maintainer: "alt-ergo@ocamlpro.com"
 authors: "Alt-Ergo developers"
 license: "Apache-2.0"
 homepage: "http://alt-ergo.ocamlpro.com/"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
 
 build:
@@ -76,7 +77,7 @@ Usage of the command-line with FPA reasoning:
 ```alt-ergo -use-fpa -prelude fpa-theory-2017-01-04-16h00.why [other-options] <file.why>```"""
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-free-2.0.0/alt-ergo-free-2.0.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-free-2.0.0/alt-ergo-free-2.0.0.tar.gz"
   checksum: [
     "sha256=bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b"
     "md5=e390c96bcac7c54a5949ad36611412ef"
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam
index 3bb5c50d825a..0036968a63ec 100644
--- a/packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam
+++ b/packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam
@@ -29,7 +29,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz"
   checksum: [
     "sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9"
     "md5=d99bfaf748f7c640222e59677e6afd7c"
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam
index 329526ccfd54..641660695725 100644
--- a/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam
+++ b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam
@@ -29,7 +29,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
   checksum: [
     "sha256=0fd6594f30d4e2bea97350a7906ecc2528c37e8fdd32588818a162aacc409688"
     "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.3.2/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.3.2/opam
index cde429a51cf2..bdbdfd6aae70 100644
--- a/packages/alt-ergo-lib/alt-ergo-lib.2.3.2/opam
+++ b/packages/alt-ergo-lib/alt-ergo-lib.2.3.2/opam
@@ -30,7 +30,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz"
   checksum: [
     "sha256=69418b8b959f695de06a85347d554efd5f2dd28a58a976e3f354abf9a58e108c"
     "md5=efdf062a6bfdc1505637591b37334a28"
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam
index a7fecc4511d7..91fa3f62cce8 100644
--- a/packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam
+++ b/packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam
@@ -34,7 +34,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.3/alt-ergo-2.3.3.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.3/alt-ergo-2.3.3.tar.gz"
   checksum: [
     "sha256=52e9e9cdbedf7afd1b32154dfb71ca7bead44fa2efcab7eb6d9ccc1989129388"
     "md5=3b060044767d16d1de3416944abd2dd5"
diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.0/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.0/opam
index 721c836faef1..34752b5ea323 100644
--- a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.0/opam
+++ b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.0/opam
@@ -29,7 +29,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz"
   checksum: [
     "sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9"
     "md5=d99bfaf748f7c640222e59677e6afd7c"
diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam
index 8ecaae8f249e..d34147e0e088 100644
--- a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam
+++ b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam
@@ -29,7 +29,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
   checksum: [
     "sha256=0fd6594f30d4e2bea97350a7906ecc2528c37e8fdd32588818a162aacc409688"
     "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.2/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.2/opam
index 83e6104405f3..fd7628668818 100644
--- a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.2/opam
+++ b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.2/opam
@@ -30,7 +30,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz"
   checksum: [
     "sha256=69418b8b959f695de06a85347d554efd5f2dd28a58a976e3f354abf9a58e108c"
     "md5=efdf062a6bfdc1505637591b37334a28"
diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.3/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.3/opam
index 02f82239a7c8..382917c04662 100644
--- a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.3/opam
+++ b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.3/opam
@@ -30,7 +30,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.3/alt-ergo-2.3.3.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.3/alt-ergo-2.3.3.tar.gz"
   checksum: [
     "sha256=52e9e9cdbedf7afd1b32154dfb71ca7bead44fa2efcab7eb6d9ccc1989129388"
     "md5=3b060044767d16d1de3416944abd2dd5"
diff --git a/packages/alt-ergo/alt-ergo.0.95.2/opam b/packages/alt-ergo/alt-ergo.0.95.2/opam
index a0f00c3f0523..49787525f4d1 100644
--- a/packages/alt-ergo/alt-ergo.0.95.2/opam
+++ b/packages/alt-ergo/alt-ergo.0.95.2/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 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"
 build:
 [
   ["./configure" "-prefix" prefix]
@@ -33,7 +34,7 @@ synopsis:
 flags: light-uninstall
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/alt-ergo-0.95.2.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/alt-ergo-0.95.2.tar.gz"
   checksum: [
     "sha256=5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac"
     "md5=ab9c160f7ecb26aa2479f9169db9b869"
diff --git a/packages/alt-ergo/alt-ergo.0.99.1/opam b/packages/alt-ergo/alt-ergo.0.99.1/opam
index 2c03f0e0fcac..7134482b7412 100644
--- a/packages/alt-ergo/alt-ergo.0.99.1/opam
+++ b/packages/alt-ergo/alt-ergo.0.99.1/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 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"
 build:
 [
   ["./configure" "-prefix" "%{prefix}%"]
@@ -34,7 +35,7 @@ synopsis:
 flags: light-uninstall
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-0.99.1/alt-ergo-0.99.1.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-0.99.1/alt-ergo-0.99.1.tar.gz"
   checksum: [
     "sha256=f5f24f0af60ff5b4a7d054e95bc677befbe708859fafdd5b214a47ed4d71d452"
     "md5=1fd351547441553a1d8ac543adda6cdb"
diff --git a/packages/alt-ergo/alt-ergo.1.01/opam b/packages/alt-ergo/alt-ergo.1.01/opam
index ae72abe28d83..28c7631cea3f 100644
--- a/packages/alt-ergo/alt-ergo.1.01/opam
+++ b/packages/alt-ergo/alt-ergo.1.01/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 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"
 
 build:
 [
@@ -37,7 +38,7 @@ This package provides the command-line version of Alt-Ergo.
 usage: alt-ergo [options] <file.why>"""
 flags: light-uninstall
 url {
-  src: "http://alt-ergo.ocamlpro.com/http/alt-ergo-1.01/alt-ergo-1.01.tar.gz"
+  src: "https://alt-ergo.ocamlpro.com/http/alt-ergo-1.01/alt-ergo-1.01.tar.gz"
   checksum: [
     "sha256=d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb"
     "md5=9fbf8e42bec2a171dc9422f9dcea9519"
diff --git a/packages/alt-ergo/alt-ergo.1.30/opam b/packages/alt-ergo/alt-ergo.1.30/opam
index 39b1f91806c0..6d58e1d769af 100644
--- a/packages/alt-ergo/alt-ergo.1.30/opam
+++ b/packages/alt-ergo/alt-ergo.1.30/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 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"
 
 build:
 [
@@ -38,7 +39,7 @@ This package provides the command-line version of Alt-Ergo.
 usage: alt-ergo [options] <file.why>"""
 flags: light-uninstall
 url {
-  src: "http://alt-ergo.ocamlpro.com/http/alt-ergo-1.30/alt-ergo-1.30.tar.gz"
+  src: "https://alt-ergo.ocamlpro.com/http/alt-ergo-1.30/alt-ergo-1.30.tar.gz"
   checksum: [
     "sha256=2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708"
     "md5=c7100ebd625fbd7d3e5247dbac689748"
diff --git a/packages/alt-ergo/alt-ergo.2.0.0/opam b/packages/alt-ergo/alt-ergo.2.0.0/opam
index 500101b22512..6e1faf744ea1 100644
--- 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"
@@ -78,7 +78,7 @@ Usage of the command-line with FPA reasoning:
 ```alt-ergo -use-fpa -prelude fpa-theory-2017-01-04-16h00.why [other-options] <file.why>```"""
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.0.0/alt-ergo-2.0.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.0.0/alt-ergo-2.0.0.tar.gz"
   checksum: [
     "sha256=5fe64c7db492eac1404a82eeb6f83341df3f3793ddb604e575e90d24a3de64dc"
     "md5=eb8467734d97c4b1a25beb431f064e4f"
diff --git a/packages/alt-ergo/alt-ergo.2.1.0/opam b/packages/alt-ergo/alt-ergo.2.1.0/opam
index 5e48899db39c..f366d48489ea 100644
--- 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"
@@ -78,7 +78,7 @@ Usage of the command-line with FPA reasoning:
 ```alt-ergo -use-fpa -prelude fpa-theory-2017-01-04-16h00.why [other-options] <file.why>```"""
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.1.0/alt-ergo-2.1.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.1.0/alt-ergo-2.1.0.tar.gz"
   checksum: [
     "sha256=333ec32cf6db9f1a54b2a6cb5af97ec0e233e355a6b3d73f1963ed0f7d49be37"
     "md5=6486220cc9ff5ce4ffa378b04fb7110e"
diff --git a/packages/alt-ergo/alt-ergo.2.2.0/opam b/packages/alt-ergo/alt-ergo.2.2.0/opam
index d52ddacc7bd1..25ca9d3e3348 100644
--- 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"
@@ -86,7 +86,7 @@ Usage of the library:
 See `https://github.com/OCamlPro/alt-ergo/blob/2.2.0/sources/examples/lib_usage.ml`"""
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.2.0/alt-ergo-2.2.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.2.0/alt-ergo-2.2.0.tar.gz"
   checksum: [
     "sha256=5c2445f99c567cf4c4521cd9ec8873f8788a4c7ce7a349dbc91d1bace373df80"
     "md5=739ff904d38bf2285e824157011770d8"
diff --git a/packages/alt-ergo/alt-ergo.2.3.0/opam b/packages/alt-ergo/alt-ergo.2.3.0/opam
index 9dc70771641a..31b78d74ea80 100644
--- a/packages/alt-ergo/alt-ergo.2.3.0/opam
+++ b/packages/alt-ergo/alt-ergo.2.3.0/opam
@@ -25,7 +25,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz"
   checksum: [
     "sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9"
     "md5=d99bfaf748f7c640222e59677e6afd7c"
diff --git a/packages/alt-ergo/alt-ergo.2.3.1/opam b/packages/alt-ergo/alt-ergo.2.3.1/opam
index 301bac29706f..9302c0ffc38a 100644
--- a/packages/alt-ergo/alt-ergo.2.3.1/opam
+++ b/packages/alt-ergo/alt-ergo.2.3.1/opam
@@ -25,7 +25,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
   checksum: [
     "sha256=0fd6594f30d4e2bea97350a7906ecc2528c37e8fdd32588818a162aacc409688"
     "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
diff --git a/packages/alt-ergo/alt-ergo.2.3.2/opam b/packages/alt-ergo/alt-ergo.2.3.2/opam
index 40f0989862eb..810ab62ecd80 100644
--- a/packages/alt-ergo/alt-ergo.2.3.2/opam
+++ b/packages/alt-ergo/alt-ergo.2.3.2/opam
@@ -25,7 +25,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz"
   checksum: [
     "sha256=69418b8b959f695de06a85347d554efd5f2dd28a58a976e3f354abf9a58e108c"
     "md5=efdf062a6bfdc1505637591b37334a28"
diff --git a/packages/alt-ergo/alt-ergo.2.3.3/opam b/packages/alt-ergo/alt-ergo.2.3.3/opam
index 95e91081dc25..fd1bfe1d27bb 100644
--- a/packages/alt-ergo/alt-ergo.2.3.3/opam
+++ b/packages/alt-ergo/alt-ergo.2.3.3/opam
@@ -25,7 +25,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
 
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.3/alt-ergo-2.3.3.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.3/alt-ergo-2.3.3.tar.gz"
   checksum: [
     "sha256=52e9e9cdbedf7afd1b32154dfb71ca7bead44fa2efcab7eb6d9ccc1989129388"
     "md5=3b060044767d16d1de3416944abd2dd5"