opam-graph and ohex are backed up to opam-source-archivs now

avsm · Sep 5, 2024 · 1ccbc19 · 1ccbc19
1 parent f35df7e
commit 1ccbc19
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/packages/ohex/ohex.0.1.0/opam b/packages/ohex/ohex.0.1.0/opam
@@ -19,9 +19,9 @@ build: [
 ]
 dev-repo: "git+https://git.robur.coop/robur/ohex.git"
 url {
-  src: "https://git.robur.coop/robur/ohex/archive/v0.1.0.tar.gz"
+  src: "https://github.com/ocaml/opam-source-archives/raw/main/ohex-0.1.0.tar.gz"
   checksum: [
     "md5=49e29e60782df33e881dd0fd2ec17020"
     "sha512=60f934d0a18eb8d637d97b714da0bb2afd552e83639ba71455f05c587b07f362056c3bd47ba5ae6f25faeb8c5e47a167c48bc59d0891eec3845179ea63c25621"
   ]
-}
+}
diff --git a/packages/ohex/ohex.0.2.0/opam b/packages/ohex/ohex.0.2.0/opam
@@ -19,9 +19,9 @@ build: [
 ]
 dev-repo: "git+https://git.robur.coop/robur/ohex.git"
 url {
-  src: "https://git.robur.coop/robur/ohex/archive/v0.2.0.tar.gz"
+  src: "https://github.com/ocaml/opam-source-archives/raw/main/ohex-0.2.0.tar.gz"
   checksum: [
     "md5=77f2cbe75b9efd528a2b3478a8d4f3d4"
     "sha512=af72a9699f81878cc7d247a92a28332a8e34f247ad6bd477f8c7ae7f2970b73c4750a31eedf8eeb43ca8d19ae3c4c4f8a9d5421a40b73eb1f1711f44b14ff3e6"
   ]
-}
+}
diff --git a/packages/opam-graph/opam-graph.0.1.1/opam b/packages/opam-graph/opam-graph.0.1.1/opam
@@ -29,7 +29,7 @@ build: [
 dev-repo: "git+https://git.robur.coop/robur/opam-graph.git"
 url {
   src:
-    "https://git.robur.coop/attachments/aabe0e23-c411-4747-a44e-62e33f7f0658"
+    "https://github.com/ocaml/opam-source-archives/raw/main/opam-graph-0.1.1.tar.gz"
   checksum: [
     "sha512=33e76715684b9f34f97f34a3033975beafa3cbcf88a861e937b80b6c4b08d4dd9b2aa1f7da51830a44166ae519c9a6c3f695c9b9af5583e17140359e0de1d73e"
   ]