Florida lawmakers have yet to publish the budget’s full details. It includes a two percent raise for some state employees. It also devotes hundreds of millions to pay down state debt.