Also update alt-ergo-parsers 2.3.0 to 2.3.3 to https

Author: jmid

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"

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"

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"

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"