Reports from north-east Nigeria say gunmen have attacked a college in the town of Mubi, killing a number of people. Details are sketchy, but a lecturer on the campus said the shooting began at midnight. The army has been deployed in the area. Last week, security forces seized large amounts of arms and ammunition in Mubi during an operation against suspected Islamist militants from Boko Haram.