A naval base, navy base, or military port is a military base, where warships and naval ships are docked when they have no mission at sea or need to restock. Ships may also undergo repairs. From Wikipedia
Budget shortfalls have strained Karachi’s dockyards under an ageing fleet with complex supply chains, grounding most combatants, thus enabling Indian Navy patrols.