Tor 0.2.5.10 is stable

If the devel build is now the same as the stable build you can just remove the devel block completely.