Announcements around Rust

AdaCore has two announcements about Rust that we’d like to share with you!