Fix current dev release

v2025dev3 is not yet released

This typo was introduced in !636 (merged) but I failed to catch it

requested review from @wlozano

assigned to @daissi

merged