Data of publication 'Mining taxation in Africa: What recent evolution in 2018?'