How do ports work with IPv6?

Wrap the address in brackets to specify a port:

http://[1fff:0:a88:85a3::ac1f]:8001/index.html