"1.36-stable", "f25"; (* F25 follows 1.36. *)
"1.34-stable", "f24"; (* F24 follows 1.34. *)
"1.32-stable", "f23"; (* F23 follows 1.32. *)
"1.36-stable", "f25"; (* F25 follows 1.36. *)
"1.34-stable", "f24"; (* F24 follows 1.34. *)
"1.32-stable", "f23"; (* F23 follows 1.32. *)