Deb package with websocket support

Hi,

Is there a 1.3.13 deb package for ubuntu with a websocket support?
The ppa has 1.3.12
https://launchpad.net/~nginx/+archive/development
Is this ppa official and can be trusted?

Is it safe to use 1.3.13 in production as a replacement for the package
from the ubuntu official repository or is it considered still
experimental?

Thanks