From 018152286f5ebb52efab976cfc002288951af433 Mon Sep 17 00:00:00 2001 From: Sven Thiele Date: Fri, 20 Oct 2023 19:06:15 +0200 Subject: [PATCH] Update dependencies --- Cargo.toml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 9157ca1..dcd3b25 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -6,9 +6,9 @@ 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" @@ -16,5 +16,3 @@ libloading = "0.7" serde = "1.0" serde_json = "1.0" serde_derive = "1.0" - -