use tagged scuttlebutt
@@ -17,10 +17,10 @@ nightly = ["rand/nightly", "scuttlebutt/nightly", "ocelot/nightly", "fancy-garbl
unstable = []
[dependencies]
-fancy-garbling = { git = "https://github.com/spaceships/fancy-garbling", branch = "dev" }
-ocelot = { git = "https://github.com/amaloz/ocelot", branch = "dev" }
+fancy-garbling = { git = "https://github.com/spaceships/fancy-garbling" }
+ocelot = { git = "https://github.com/GaloisInc/ocelot" }
+scuttlebutt = { git = "https://github.com/GaloisInc/scuttlebutt", tag="0.3.1" }
rand = "0.6.5"
-scuttlebutt = { git = "https://github.com/amaloz/scuttlebutt", branch = "dev" }
[dev-dependencies]
criterion = "0.2.11"
