Majority of IRA arsenal came from Libya and US
A large percentage of the arsenal was acquired from Libya during the 1980s, though some of it was smuggled in from the United States in the '70s and early '80s.
General John de Chastelain has revealed no details of what has been put beyond use.