Merge pull request #28156 from jmid/pratter-moved

Fix pratter 404s

Author: mseri

packages/pratter/pratter.0.1.1/opam

@@ -35,7 +35,7 @@ dev-repo: "git+https://github.com/gabrielhdt/pratter.git"
 x-commit-hash: "7d97052d113f67d68d2476e71d254c2fa061e69f"
 url {
   src:
-    "https://github.com/gabrielhdt/pratter/releases/download/v0.1.1/pratter-v0.1.1.tbz"
+    "https://github.com/ocaml/opam-source-archives/raw/main/pratter-v0.1.1.tbz"
   checksum: [
     "sha256=bc66d56e1756caca42d4d324c0f2ebae9710615116258e660642694d841d4a16"
     "sha512=9af84dea4efbce4d9c1cb11181487043b65d2b408247c221e4d6728d7c60f2a8f8d8605f968b989ed40c1506d4d6d7254b888038b633839674fa8f1bf3435e7b"

packages/pratter/pratter.1.0/opam

@@ -36,7 +36,7 @@ dev-repo: "git+https://github.com/gabrielhdt/pratter.git"
 x-commit-hash: "559126a5e2cadc299762036521b51d4562c79b82"
 url {
   src:
-    "https://github.com/gabrielhdt/pratter/releases/download/1.0/pratter-1.0.tbz"
+    "https://github.com/ocaml/opam-source-archives/raw/main/pratter-1.0.tbz"
   checksum: [
     "sha256=bb6fd9b792a9a486c5096a7ba2e499dba5ae85f98b477fca9cf6802b44266cce"
     "sha512=801778a8e61bf6af6c28fa5665247070b4db40e3d83d29d6e9b7f84d7dcce274d3736163df704bc664bd0ea412680debb6750142bbc54a878704f659da6e285c"

packages/pratter/pratter.1.1/opam

@@ -35,7 +35,7 @@ dev-repo: "git+https://github.com/gabrielhdt/pratter.git"
 x-commit-hash: "de79b3ce0f03f476eaf0d7d1412f56b2c59b7007"
 url {
   src:
-    "https://github.com/gabrielhdt/pratter/releases/download/1.1/pratter-1.1.tbz"
+    "https://github.com/ocaml/opam-source-archives/raw/main/pratter-1.1.tbz"
   checksum: [
     "sha256=f927997deab616132f04c03942cb78126e4538e29343cc454d5ddcc0a061f40e"
     "sha512=f44a9f8214e970af83b158c15835959e7dd39521641ef2d05e63d1b8064046d9f29677515dc76498715aa30d579f49733364cea5f9f9895f9dff81d4a50d9105"

packages/pratter/pratter.1.2.1/opam

@@ -37,7 +37,7 @@ build: [
 dev-repo: "git+https://github.com/gabrielhdt/pratter.git"
 url {
   src:
-    "https://github.com/gabrielhdt/pratter/releases/download/1.2.1/pratter-1.2.1.tbz"
+    "https://github.com/ocaml/opam-source-archives/raw/main/pratter-1.2.1.tbz"
   checksum: [
     "sha256=7dd9a7b970d3f660a957a54ae257ac2228f8203a133f8ceb7a73ce61f0663833"
     "sha512=040a36c6d61761701d7f93d620f5a466caa0d578f6dfb0a93028fd8f693b4abef8b22c9b7695971e21ce347865dfc84f26cc032f1c4bfc070ee6e87cd9a72318"

packages/pratter/pratter.1.2/opam

@@ -35,7 +35,7 @@ dev-repo: "git+https://github.com/gabrielhdt/pratter.git"
 x-commit-hash: "b35e769cbf21030afcee7eaa2d45cafc99a6a977"
 url {
   src:
-    "https://github.com/gabrielhdt/pratter/releases/download/1.2/pratter-1.2.tbz"
+    "https://github.com/ocaml/opam-source-archives/raw/main/pratter-1.2.tbz"
   checksum: [
     "sha256=9767478a4c9b1fc4e596a79d97032ba412aa1702449478fc52ef8508e9aaa897"
     "sha512=a18cee025293ab0556a2e4c69689a63f1c97b8d980594c8e13bcf7b26a848066ef80863a3f3e3ab2899d98a0180d2e28e5780d481fa94a167b829636a2e8959d"

packages/pratter/pratter.2.0.0/opam

@@ -36,6 +36,6 @@ build: [
 ]
 dev-repo: "git+https://forge.tedomum.net/koizel/pratter"
 url {
-  src: "https://github.com/gabrielhdt/pratter/archive/refs/tags/2.0.0.tar.gz"
+  src: "https://github.com/ocaml/opam-source-archives/raw/main/pratter-2.0.0.tar.gz"
   checksum: "sha512=89fc9d0645e55dda7201a2cb47fe7bee774db92892c528efcbec179f270563088b1fab1d8d25ebca97b389947c2741f7a05127996cd1a4e3c7fe726be45ab835"
 }