Update dependencies

potassco · Oct 20, 2023 · 0181522 · 0181522
1 parent 559f718
commit 0181522
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,15 +6,13 @@ edition = "2018"
 publish = false
 
 [dependencies]
-clingo = { git = "https://github.com/potassco/clingo-rs.git", branch = "st/wip" }
-clingo-dl-plugin = { git = "https://github.com/potassco/clingo-dl-theory-rs", branch = "st/wip" }
-clingcon-plugin = { git = "https://github.com/potassco/clingcon-theory-rs", branch = "st/wip" }
+clingo = "=0.8.0"
+clingo-dl-plugin = { git = "https://github.com/potassco/clingo-dl-theory-rs", branch = "master" }
+clingcon-plugin = { git = "https://github.com/potassco/clingcon-theory-rs", branch = "master" }
 rocket = { version = "0.5.0-rc.2", features = ["json"] }
 parking_lot = "0.12"
 thiserror = "1.0"
 libloading = "0.7"
 serde = "1.0"
 serde_json = "1.0"
 serde_derive = "1.0"
-
-