diff --git a/CHANGELOG.md b/CHANGELOG.md index 74f7e84..f33d3a8 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,7 +2,7 @@ All notable changes to this project will be documented in this file. -## v0.8.0-dev +## v0.8.0 - Update to clingo-sys-0.7.2 (clingo 5.6.2) - Remove functions to create csp terms from the ast module diff --git a/Cargo.toml b/Cargo.toml index acfebfd..b8a1d0a 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "clingo" -version = "0.8.0-dev" +version = "0.8.0" publish = ["crates-io"] authors = ["sthiele "] edition = "2021" diff --git a/README.md b/README.md index 0ce0e31..eb9dd31 100644 --- a/README.md +++ b/README.md @@ -40,7 +40,7 @@ follows. ```toml [dependencies] -clingo = { version = "0.8.0-dev", features = ["static-linking"] } +clingo = { version = "0.8.0", features = ["static-linking"] } ``` ### Using `derive` macro @@ -51,7 +51,7 @@ In your `Cargo.toml` add: ```toml [dependencies] -clingo = { version = "0.8.0-dev", features = ["derive"] } +clingo = { version = "0.8.0", features = ["derive"] } ``` In your source write: diff --git a/src/lib.rs b/src/lib.rs index 1469c02..eceef37 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,4 +1,4 @@ -#![doc(html_root_url = "https://docs.rs/clingo/0.8.0-dev")] +#![doc(html_root_url = "https://docs.rs/clingo/0.8.0")] #![doc = include_str!("../README.md")] #![allow(non_upper_case_globals)] #![allow(clippy::try_err)]