From a5b6094b64a5d9202c5eb4677bb45ee5557040d1 Mon Sep 17 00:00:00 2001
From: "Guillaume \"Liam\" Petiot" <guillaume@tarides.com>
Date: Thu, 22 Feb 2024 18:43:41 +0000
Subject: [PATCH] okra doesn't need to pin get-activity anymore

---
 packages/okra/okra.0.1/opam | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/packages/okra/okra.0.1/opam b/packages/okra/okra.0.1/opam
index ea3f2b6..a729489 100644
--- a/packages/okra/okra.0.1/opam
+++ b/packages/okra/okra.0.1/opam
@@ -37,9 +37,6 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/tarides/okra.git"
-pin-depends: [
-  ["get-activity.dev" "git+https://github.com/patricoferris/get-activity#a384724b4630031e07c2f2962f44bf76378685d8"]
-]
 url {
   src: "https://github.com/tarides/okra/releases/download/0.1/okra-0.1.tbz"
   checksum: [