U.N. Libya envoy says Tripoli port was attacked on Tuesday

The sea port in Libya's capital Tripoli was attacked on Tuesday, U.N. Libya envoy Ghassan Salame said, without giving details.