The board of public buildings may issue bonds payable from not more than thirty percent of the state‘s share; provided, and the maximum amount of the state’s share sold by the authority pursuant to section 8.535 and by the board of public buildings pursuant to this section shall collectively not exceed thirty percent of the state’s share. The proceeds from bonds issued by the board of public buildings under this section may be deposited directly to the general revenue fund or deposited to the “Tobacco Bond Proceeds Fund” hereby created and then transferred to the general revenue fund. Repayment of any bonds issued pursuant to this section may be made solely from such portion of the state’s share, an appropriation specifically authorized for such purpose or from any appropriation from the state’s share for any other purpose.