picosat master

sisl · Nov 4, 2019 · 50b4f7c · 50b4f7c
1 parent 9fd72d1
commit 50b4f7c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/Manifest.toml b/Manifest.toml
@@ -240,10 +240,12 @@ uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
 version = "0.3.7"
 
 [[PicoSAT]]
-deps = ["Test"]
-git-tree-sha1 = "07b5a21ae117b9e5434421e8414ce2a0e7a79485"
+deps = ["BinaryProvider", "Libdl", "Test"]
+git-tree-sha1 = "7268928c934f978e3e78b76c267f08ce51d04d7a"
+repo-rev = "master"
+repo-url = "https://github.com/jakebolewski/PicoSAT.jl.git"
 uuid = "ff2beb65-d7cd-5ff1-a187-74671133a339"
-version = "0.3.2"
+version = "0.3.2+"
 
 [[Pkg]]
 deps = ["Dates", "LibGit2", "Markdown", "Printf", "REPL", "Random", "SHA", "UUIDs"]