All releases of Kind2 // Lib.rs

Version	Released	By	Dependency changes	MSRV
0.3.10 [git]	May 11, 2023	Sofia Rodrigues		1.67~1.60
0.3.9 [git]	Apr 2, 2023	Sofia Rodrigues		1.66~1.60
0.3.8 [git]	Mar 3, 2023	Sofia Rodrigues	kind-query	1.66~1.60
0.3.7 [git]	Jan 27, 2023	Sofia Rodrigues		1.65~1.60
0.3.6 [git]	Jan 27, 2023	Sofia Rodrigues	anyhow kind-checker kind-driver kind-report clap 4.0.10 ~~highlight_error~~ ~~hvm~~ ~~rand~~	1.65~1.60
0.2.79 [git]	Oct 1, 2022	Victor Taelin		1.58
0.2.78 [git]	Sep 30, 2022	Victor Taelin		1.58
0.2.77 [git]	Sep 15, 2022	Victor Taelin		1.58~1.57
0.2.76 [git]	Sep 8, 2022	Victor Taelin		1.58~1.57
0.2.75 [git]	Sep 7, 2022	Victor Taelin		1.58~1.57
0.2.74 [git]	Sep 6, 2022	Victor Taelin		1.58~1.57
0.2.73 [git]	Sep 6, 2022	Victor Taelin	rand	1.58~1.57
0.2.72 [git]	Sep 5, 2022	Victor Taelin		1.58~1.57
0.2.71 [git]	Sep 3, 2022	Victor Taelin		1.58~1.57
0.2.70 [git]	Sep 2, 2022	Victor Taelin		1.58~1.57
0.2.69 [git]	Aug 30, 2022	Victor Taelin		1.58~1.57
0.2.68 [git]	Aug 25, 2022	Victor Taelin		1.58~1.57
0.2.67 [git]	Aug 24, 2022	Victor Taelin		1.58~1.57
0.2.66 [git]	Aug 19, 2022	Victor Taelin		1.58~1.57
0.2.64 [git]	Aug 19, 2022	Victor Taelin		1.58~1.57
0.2.63 [git]	Aug 18, 2022	Victor Taelin		1.58~1.57
0.2.62 [git]	Aug 18, 2022	Victor Taelin		1.58~1.57
0.2.61 [git]	Aug 17, 2022	Victor Taelin		1.58~1.57
0.2.60 [git]	Aug 17, 2022	Victor Taelin		1.58~1.57
0.2.59 [git]	Aug 16, 2022	Victor Taelin		1.58~1.57
0.2.57 [git]	Aug 14, 2022	Victor Taelin		1.58~1.57
0.2.56 [git]	Aug 14, 2022	Victor Taelin		1.58~1.57
0.2.55 [git]	Aug 14, 2022	Victor Taelin		1.58~1.57
0.2.54 [git]	Aug 14, 2022	Victor Taelin		1.58~1.57
0.2.53 [git]	Aug 14, 2022	Victor Taelin		1.58~1.57
0.2.51 [git]	Aug 13, 2022	Victor Taelin		1.58~1.57
0.2.49 [git]	Aug 13, 2022	Victor Taelin		1.58~1.57
0.2.48 [git]	Aug 13, 2022	Victor Taelin		1.58~1.57
0.2.45 [git]	Aug 13, 2022	Victor Taelin		1.58~1.57
0.2.41 [git]	Aug 11, 2022	Victor Taelin		1.58~1.57
0.2.37 [git]	Aug 11, 2022	Victor Taelin		1.58~1.57
0.2.32 [git]	Jul 27, 2022	Victor Taelin		1.58~1.57
0.2.31 [git]	Jul 27, 2022	Victor Taelin		1.58~1.57
0.2.30 [git]	Jul 27, 2022	Victor Taelin		1.58~1.57
0.2.29 [git]	Jul 27, 2022	Victor Taelin		1.58~1.57
0.2.28 [git]	Jul 27, 2022	Victor Taelin		1.58~1.57
0.2.27 [git]	Jul 27, 2022	Victor Taelin		1.58~1.57
0.2.26 [git]	Jul 26, 2022	Victor Taelin		1.58~1.57
0.2.25 [git]	Jul 26, 2022	Victor Taelin		1.58~1.57
0.2.24 [git]	Jul 26, 2022	Victor Taelin		1.58~1.57
0.2.23 [git]	Jul 26, 2022	Victor Taelin		1.58~1.57
0.2.22 [git]	Jul 25, 2022	Victor Taelin		1.58~1.57
0.2.21 [git]	Jul 24, 2022	Victor Taelin		1.58~1.57
0.2.20 [git]	Jul 24, 2022	Victor Taelin		1.58~1.57
0.2.19 [git]	Jul 23, 2022	Victor Taelin		1.58~1.57
0.2.16 [git]	Jul 23, 2022	Victor Taelin		1.58~1.57
0.2.14 [git]	Jul 23, 2022	Victor Taelin		1.58~1.57
0.2.13 [git]	Jul 23, 2022	Victor Taelin		1.58~1.57
0.2.12 [git]	Jul 23, 2022	Victor Taelin		1.58~1.57
0.2.11 [git]	Jul 22, 2022	Victor Taelin		1.58~1.57
0.2.10 [git]	Jul 22, 2022	Victor Taelin		1.58~1.57
0.2.6 [git]	Jul 22, 2022	Victor Taelin		1.58~1.57
0.2.5 [git]	Jul 20, 2022	Victor Taelin		1.58~1.57
0.2.4 [git]	Jul 20, 2022	Victor Taelin		1.58~1.57
0.2.3 [git]	Jul 20, 2022	Victor Taelin		1.58~1.57
0.2.0 [git]	Jul 19, 2022	Victor Taelin	highlight_error ~~stacker~~	1.58~1.57
0.1.5 [git]	Apr 5, 2022	Victor Taelin		1.58~1.56
0.1.4 [git]	Apr 5, 2022	Victor Taelin		1.58~1.56
0.1.3 [git]	Apr 4, 2022	Kelvin Steiner		1.58~1.56
0.1.0 [git]	Mar 17, 2022	Kelvin Steiner		1.58~1.56

Minimum Supported Rust Version (MSRV) is only approximate. A range of two versions means "oldest rustc verified to work ~ oldest rustc that might work". Actual MSRV will vary depending on crate features, target platform, and dependency versions. The data is estimated based on the latest stable Rust version available at the time the crate has been published and cargo check or cargo clippy on Linux/aarch64.