Place a wok on a high heat, then add the following ingredients in this order: groundnut oil, brown mustard seeds, mushrooms, tomatoes, tamarind paste, vinegar, jaggery, tomato paste, garlic paste, ginger paste, turmeric, ground cumin, smoked paprika and salt to taste.