The budget, HB 5001, was formally sent to DeSantis on Wednesday, and he has until July 1 to sign it. But the spending plan lawmakers passed unanimously in March was based on revenue projections made in January by state economists, two months before the pandemic shut down the state’s tourism industry.