Formula for rust-nightly