Deb package with websocket support

Server NGINX
1

Hi,

Is there a 1.3.13 deb package for ubuntu with a websocket support?
The ppa has 1.3.12

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