From b79d2106cff4c3cb0d7bb8ccd35138ffce62dcab Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 27 Jun 2024 09:15:57 +0200 Subject: [PATCH] opam-graph: uses a tar.bz2 --- packages/opam-graph.0.1.99~dev/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/opam-graph.0.1.99~dev/opam b/packages/opam-graph.0.1.99~dev/opam index 81fa193..ce46eec 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://github.com/ocaml/opam-source-archives/raw/main/opam-graph-0.1.1.tar.gz" + "https://github.com/ocaml/opam-source-archives/raw/main/opam-graph-0.1.1.tar.bz2" checksum: [ "sha512=33e76715684b9f34f97f34a3033975beafa3cbcf88a861e937b80b6c4b08d4dd9b2aa1f7da51830a44166ae519c9a6c3f695c9b9af5583e17140359e0de1d73e" ]