From 9bb86b3507399fa1ea3323f05c2bee2692d656ec Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 28 Oct 2024 19:35:16 +0100
Subject: [PATCH] gptar is released now, no need to pin

---
 mirage/config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mirage/config.ml b/mirage/config.ml
index 6a4dcbc..ec220b9 100644
--- a/mirage/config.ml
+++ b/mirage/config.ml
@@ -15,7 +15,7 @@ let mirror =
       package ~min:"3.0.0" "tar-mirage" ;
       package ~max:"0.2.0" "mirage-block-partition" ;
       package "gpt" ;
-      package "gptar" ~pin:"git+https://github.com/reynir/gptar.git" ;
+      package "gptar" ;
       package "oneffs" ;
       package "digestif" ;
     ]