okra doesn't need to pin get-activity anymore

tarides · Feb 22, 2024 · a5b6094 · a5b6094
1 parent ff87a97
commit a5b6094
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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: [