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: [