deb package with websocket support (no replies)

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
_______________________________________________
nginx mailing list
nginx@nginx.org
http://mailman.nginx.org/mailman/listinfo/nginx