servo.h per arduino 32 bit???????

Hardware Arduino Due
1

hello all,
you know when it comes out the full version of Arduino IDE 1.5??
and if there is or if there is already a library servo.h for Arduino 2??
thanks!!