Report of the Auditor-General on Infrastructure Finance and Public Private Partnerships Project-IDA Credit No 5157-Ke for the Year Ended 30 June 2023