From a4a7358c4dafd0a89c5b92167e1e0f9b12c55eba Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 5 Oct 2022 14:41:49 +0200 Subject: [PATCH] opam: fix dev-repo url --- http-mirage-client.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/http-mirage-client.opam b/http-mirage-client.opam index bb9603a..41e2f0e 100644 --- a/http-mirage-client.opam +++ b/http-mirage-client.opam @@ -33,4 +33,4 @@ build: [ "@doc" {with-doc} ] ] -dev-repo: "git+https://github.com/roburio/memtrace-mirage.git" +dev-repo: "git+https://github.com/roburio/http-mirage-client.git"