The rise in compulsory super contributions, from 9% to 12% (over best part of 10 years), is NOT paid by the government, it is paid by employers.
The new mining tax is not funding it at all. Rather it is funding expenditure and a slight reduction in the company tax rate.
There is also $3b a year not currently committed. But the government would never use that for pork barrelling, would they? After all, they promised!