noun, masculine/aɾseˈnal/plural: arsenales
arsenal (stock of weapons); arsenal (store or supply of anything); dockyard
From Arabic دَار الصِّنَاعَة (dār aṣ-ṣināʕa, “industry house, manufacturing shop”) (via Andalusian Arabic), from دَار (dār) + صِنَاعَة (ṣināʕa). Compare dársena and atarazana.