Arsenal (military)/Definition

A facility where weapons and other military equipment is designed, manufactured, stored, or repaired at all levels of intensity; differentiate from armory, a facility only for storage and light maintenance