[microTVM][RVM] Fix RVM build due to #11470#11781

Merged

areusch merged 1 commit intoapache:mainfrom mehrdadh:microtvm/fix_rvm_build

Jun 21, 2022

+22-18

Commits on Jun 20, 2022

Fix apt install
mehrdadh
committed