Re: [ANN] CRUX 2.5 released