Add 0.12.5 and 0.13-dev definitions