List of weapons used by the Provisional Irish Republican Army