While there is no true substitute that could ... types of chile peppers — namely dried árboles, guajillos, and pasillas — dehydrated lime powder, sea salt, and citric acid.