₦3.6bn infrastructure repairs