opam: pin to a specific commit

hannesm · Dec 29, 2021 · 8f39ce7 · 8f39ce7
1 parent 1c3018f
commit 8f39ce7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/jackline.opam b/jackline.opam
@@ -68,6 +68,6 @@ build: [
 ]
 dev-repo: "git+https://github.com/hannesm/jackline.git"
 pin-depends: [
-  [ "erm_xml.0.4~dev" "git+https://github.com/hannesm/xml.git" ]
-  [ "erm_xmpp.0.4~dev" "git+https://github.com/hannesm/xmpp.git#otr" ]
+  [ "erm_xml.0.4~dev" "git+https://github.com/hannesm/xml.git#edcdfaf33174b9cd67665e3e3c8dbcf871c91b42" ]
+  [ "erm_xmpp.0.4~dev" "git+https://github.com/hannesm/xmpp.git#c9b441c2aebf9dbe99565aea4e4d4acbd8f3a3ab" ]
 ]