Report of the Auditor-General on National Agricultural Value Chain Development Project Credit No IDA 7064-KE for the Year Ended 30 June 2023