From 9cc313c1919aa9e14018d0e64e1415d11298093d Mon Sep 17 00:00:00 2001 From: Robur Team Date: Wed, 26 Jun 2024 11:03:27 +0000 Subject: [PATCH] builder-web, opam-graph: use github as source for now --- packages/builder-web.0.2.0~dev/opam | 2 +- packages/opam-graph.0.1.99~dev/opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/builder-web.0.2.0~dev/opam b/packages/builder-web.0.2.0~dev/opam index b354b27..d7bcfc5 100644 --- a/packages/builder-web.0.2.0~dev/opam +++ b/packages/builder-web.0.2.0~dev/opam @@ -63,5 +63,5 @@ Produced binaries can be downloaded and executed. """ url { - src: "git+https://git.robur.coop/robur/builder-web.git" + src: "git+https://github.com/robur-coop/builder-web.git" } diff --git a/packages/opam-graph.0.1.99~dev/opam b/packages/opam-graph.0.1.99~dev/opam index f846f9a..81fa193 100644 --- a/packages/opam-graph.0.1.99~dev/opam +++ b/packages/opam-graph.0.1.99~dev/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" ]